Verification of concurrent code from synchronous specifications

[1]  Mamoun Filali,et al.  A comparative study of two formal semantics of the SIGNAL language , 2013, Frontiers of Computer Science.

[2]  Pascal Raymond,et al.  The synchronous data flow programming language LUSTRE , 1991, Proc. IEEE.

[3]  Axel Jantsch,et al.  Models of computation and languages for embedded system design , 2005 .

[4]  Robert de Simone,et al.  From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations , 2009, 2009 Ninth International Conference on Application of Concurrency to System Design.

[5]  John C. Knight,et al.  Safety critical systems: challenges and directions , 2002, Proceedings of the 24th International Conference on Software Engineering. ICSE 2002.

[6]  Gérard Berry,et al.  The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..

[7]  A. Benveniste,et al.  Concurrency in Synchronous Systems , 2004, Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004..

[8]  Sandeep K. Shukla,et al.  On the Deterministic Multi-threaded Software Synthesis from Polychronous Specifications , 2008, 2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design.

[9]  Abdoulaye Gamatié,et al.  Toward Static Analysis of SIGNAL Programs using Interval Techniques , 2006 .

[10]  Yang Liu,et al.  Formal Specification and Analysis of Partitioning Operating Systems by Integrating Ontology and Refinement , 2016, IEEE Transactions on Industrial Informatics.

[11]  Thierry Gautier,et al.  Programming real-time applications with SIGNAL , 1991, Proc. IEEE.

[12]  Gérard Berry,et al.  The foundations of Esterel , 2000, Proof, Language, and Interaction.

[13]  Paul Le Guernic,et al.  Combining Dependability with Architectural Adatability by Means of the SIGNAL Language , 1993, WSA.

[14]  Kai Hu,et al.  Multi-threaded code generation from Signal program to OpenMP , 2013, Frontiers of Computer Science.

[15]  Albert Benveniste,et al.  Compositionality in Dataflow Synchronous Languages: Specification and Distributed Code Generation , 2000, Inf. Comput..

[16]  Stephen A. Edwards,et al.  The synchronous languages 12 years later , 2003, Proc. IEEE.

[17]  Mirabelle Nebut,et al.  Specification and analysis of synchronous reactions , 2004, Formal Aspects of Computing.

[18]  Klaus Schneider,et al.  Multithreaded code from synchronous programs: Extracting independent threads for OpenMP , 2010, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).

[19]  Paul Le Guernic,et al.  Compositional design of isochronous systems , 2012, Sci. Comput. Program..

[20]  Wei-Tek Tsai,et al.  Simulation of real-time systems with clock calculus , 2015, Simul. Model. Pract. Theory.

[21]  Christoph M. Kirsch,et al.  Principles of Real-Time Programming , 2002, EMSOFT.

[22]  Albert Benveniste,et al.  The synchronous approach to reactive and real-time systems , 1991 .

[23]  Jean-Christophe Le Lann,et al.  POLYCHRONY for System Design , 2003, J. Circuits Syst. Comput..