Synchronous programming with events and relations: the SIGNAL language and its semantics
Science of Computer Programming
Embedded Control Systems Development with Giotto
OM '01 Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems
Synchronous Programming of Reactive Systems
Synchronous Programming of Reactive Systems
Synthesis of Discrete-Event Controllers Based on the SignalEnvironment
Discrete Event Dynamic Systems
Embedded Systems: Challenges in Specification and Verification
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Modeling Real-Time Systems-Challenges and Work Directions
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
MetaH Support for Real-Time Multi-Processor Avionics
WPDRTS '97 Proceedings of the 1997 Joint Workshop on Parallel and Distributed Real-Time Systems (WPDRTS / OORTS '97)
Partitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance
Partitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance
A compositional behavioral modeling framework for embedded system design and conformance checking
International Journal of Parallel Programming
Polychronous design of embedded real-time applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formal Refinement Checking in a System-level Design Methodology
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)
Virtual execution of AADL models via a translation into synchronous programs
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Synchronous design of avionic applications based on model refinement
Journal of Embedded Computing - Best Papers of RTS' 2005
Synchronous Modeling and Validation of Priority Inheritance Schedulers
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Compositional design of isochronous systems
Science of Computer Programming
Formal Refinement Checking in a System-level Design Methodology
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)
Hi-index | 0.00 |
In this paper, we discuss a synchronous, component-basedapproach to the modeling of avionics applications.The specification of the components relies on the avionicsstandard ARINC 653 and the synchronous languageSIGNAL is considered as modeling formalism. The POLYCHRONYtool-set allows for a seamless design processbased on the SIGNAL model, which provides possibilitiesof high level specifications, verification and analysis of thespecifications at very early stages of the design, and finallyautomatic code generation through formal transformationsof these specifications. This suits the basic stringentrequirements that should be met by any design environmentfor embedded applications in general, and avionics applicationsin particular.