= ^ghost_alarm 02: | CLK_ghost_alarm ^= ghost_alarm 03: | (| ghost_alarm := not CLK_ghost_alarm |) ,
The whole set of constraints inferred by the compiler is now restricted to the fact that the ghost_alarm signal is always equal to false. The compiler has also detected that the clocks of References The synchronous languages twelve years later, Special issue on Embedded Systems, 2003. ,
A Synchronous Language at Work: The Story of Lustre, 3th ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'05), 2005. ,
DOI : 10.1002/9781118459898.ch2
URL : https://hal.archives-ouvertes.fr/hal-00190883
The foundations of Esterel, Proof, Language and Interaction: Essays in Honour of Robin Milner, 2000. ,
Polychrony for System Design, Journal for Circuits, Systems and Computers, vol.12, issue.3, pp.261-304, 2003. ,
URL : https://hal.archives-ouvertes.fr/hal-00730480
Graph-Based Algorithms for Boolean Function Manipulation, IEEE Transactions on Computers, vol.35, issue.8, pp.677-691, 1986. ,
DOI : 10.1109/TC.1986.1676819
Arborescent canonical form of Boolean expressions, 1994. ,
URL : https://hal.archives-ouvertes.fr/inria-00074382
Programming and verifying real-time systems by means of the synchronous data-flow language LUSTRE, IEEE Transactions on Software Engineering, vol.18, issue.9, 1992. ,
DOI : 10.1109/32.159839
Dynamic partitioning in linear relation analysis. application to the verification of reactive systems, Formal Methods in System Design, pp.5-37, 2003. ,
Logico-Numerical Verification Methods for Discrete and Hybrid Systems, 2012. ,
URL : https://hal.archives-ouvertes.fr/tel-00809357
An alternative polychronous model and synthesis methodology for model-driven embedded software, 2010 15th Asia and South Pacific Design Automation Conference (ASP-DAC), pp.13-18, 2010. ,
DOI : 10.1109/ASPDAC.2010.5419925
Static analysis of synchronous programs in signal for efficient design of multi-clocked embedded systems, International conference on Languages, Compilers and Tools for Embedded Systems, 2011. ,
Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications. Amsterdam, The Netherlands, The Netherlands, 2009. ,
From hybrid data-flow languages to hybrid automata, Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control, HSCC '12, pp.167-176, 2012. ,
DOI : 10.1145/2185632.2185658
URL : https://hal.archives-ouvertes.fr/hal-00659698
Combining Widening and Acceleration in Linear Relation Analysis, 13th International Static Analysis Symposium, SAS'06, 2006. ,
DOI : 10.1007/11823230_10
URL : https://hal.archives-ouvertes.fr/hal-00189614
Polyhedral Analysis for Synchronous Languages, Proceedings of the 6th International Symposium on Static Analysis, pp.51-68, 1999. ,
DOI : 10.1007/3-540-48294-6_4
URL : https://hal.archives-ouvertes.fr/hal-00544493
Synthesizing embedded software with safety wrappers through polyhedral analysis in a polychronous framework, Electronic System Level Synthesis Conference (ESLsyn), pp.24-29, 2012. ,
Specification and analysis of synchronous reactions, Formal Aspects of Computing, vol.16, issue.3, pp.263-291, 2004. ,
DOI : 10.1007/s00165-004-0039-4
Scaling Up the Formal Verification of Lustre Programs with SMT-Based Techniques, 2008 Formal Methods in Computer-Aided Design, pp.1-9, 2008. ,
DOI : 10.1109/FMCAD.2008.ECP.19
Towards static analysis of Signal programs using interval techniques, Synchronous Languages, Applications, and Programming (SLAP'06), 2006. ,
An Interval-Based Solution for Static Analysis in the SIGNAL Language, 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008), pp.182-190, 2008. ,
DOI : 10.1109/ECBS.2008.18
SMT-based optimization for synchronous programs, Proceedings of the 14th International Workshop on Software and Compilers for Embedded Systems, SCOPES '11, pp.11-20, 2011. ,
DOI : 10.1145/1988932.1988935
SMT based false causal loop detection during code synthesis from Polychronous specifications, Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011), pp.109-118, 2011. ,
DOI : 10.1109/MEMCOD.2011.5970517
URL : https://hal.archives-ouvertes.fr/inria-00637574
Improved False Causal Loop Detection in Polychronous Specification of Embedded Software, Research report, 2011. ,
Designing Embedded Systems with the Signal Programming Language: Synchronous, Reactive Specification, 2009. ,
DOI : 10.1007/978-1-4419-0941-1
Advanced Topics in Data-Flow Computing, ch. Data-Flow to von Neumann: the Signal approach, pp.413-438, 1991. ,
First-Order Logic, 1968. ,
DOI : 10.1201/b10689-23
Theory of linear and integer programming, 1986. ,
Depth-First Search and Linear Graph Algorithms, SIAM Journal on Computing, vol.1, issue.2, pp.146-160, 1972. ,
DOI : 10.1137/0201010
Efficiently computing static single assignment form and the control dependence graph, ACM Transactions on Programming Languages and Systems, vol.13, issue.4, pp.451-490, 1991. ,
DOI : 10.1145/115372.115320
The program dependence graph and its use in optimization, ACM Transactions on Programming Languages and Systems, vol.9, issue.3, pp.319-349, 1987. ,
DOI : 10.1145/24039.24041