Modeling of Avionics Applications and Performance Evaluation Techniques Using the Synchronous Language SIGNAL
Abdoulaye Gamatié, Thierry Gautier, Loïc Besnard · Electronic Notes in Theoretical Computer Science · 2004
Modeling is widely accepted to be essential to design activity. A major benet is the use of formal methods for analysis and predictability. In Polychrony, the tool-set of the Signal language, a component-based approach have been dened to model avionics applications. This approach uses Signal models of so-called APEX services based on the avionics standard ARINC 653. This gives access to the formal tools and techniques available within Polychrony for verication and analysis. In this paper, we illustrate the approach by considering a small example of avionics application. We show how an associated Signal model is obtained for the purpose of temporal validation. This brings out the capability of the Signal to seamlessly address critical issues in real-time system design.