Polyhedra-based approach for incremental validation of real-time systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3824 LNCS, Issue , 2005, Pages 184-193

  Doose, David ^a   Mammeri, Zoubir ^a  

^a UNIVERSITÉ PAUL SABATIER   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; CONSTRAINT THEORY; KNOWLEDGE BASED SYSTEMS; REAL TIME SYSTEMS; SCHEDULING;

FORMAL METHODS; INCREMENTAL VALIDATION; TEMPORAL LOGIC; VALIDATION PROCESS;

EMBEDDED SYSTEMS;

EID: 33744952491     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11596356_21     Document Type: Conference Paper

References (20)

1. R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138(1):3-34, 1995.
2. Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, and Pei-Hsin Ho. Hybrid automata: An algorithmic approach to the-specification and verification of hybrid systems. In Hybrid Systems, pages 209-229, 1992.
3. Rajeev Alur and David L. Dill. A theory of timed automata. Theoretical Computer Science, 126(2):183-235, 1994.
4. B. Andersson and J. Jonsson. Fixed-priority preemptive multiprocessor scheduling: To partition or not to partition. In Proceedings of the Int'l Conf. on Real-Time Computing and Applications, pages 337-346, Cheju Island, Korea, December 2000. IEEE Computer Society Press.
5. R. Bagnara. A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages. In Science of Computer Programming, pages 30(1-2): 119-155, 1998.
6. T. P. Baker. A stack-based resource allocation policy for realtime. In Real-Time Systems Symposium, pages 191-200. IEEE Computer Society Press, 1990.
7. L. P. Briand and D. M. Roy. Meeting Deadlines in Hard Real-Time Systems: The Rate Monotonic Approach. IEEE Computer Society, 1999.
8. Airlines Electronic Engineering Committee. Arinc specification 653, January 1997.
9. N. Halbwachs, Y-E. Proy, and P. Raymond. Verification of linear hybrid systems by means of convex approximations. In Static Analysis Symposium, pages 223-237, 1994.
10. T. A. Henzinger, P-H. Ho, and H. Wong-Toi. Hytech: The next generation. In IEEE Real-Time Systems Symposium, pages 56-65, 1995.
11. T. A. Henzinger, P-H. Ho, and H. Wong-Toi. A user guide to hytech. In Tools and Algorithms for Construction and Analysis of Systems, pages 41-71, 1995.
12. T. A. Henzinger, P-H. Ho, and H. Wong-Toi. HYTECH: A model checker for hybrid systems. International Journal on Software Tools for Technology Transfer, 1(1-2):110-122, 1997.
13. Thomas A. Henzinger, Peter W. Kopke, Anuj Puri, and Pravin Varaiya. What's decidable about hybrid automata? In Proceedings of the 27th Annual Symposium on Theory of Computing, pages 373-382, 1995.
14. Doran K.Wilde. A library for doing polyhedral operations. Technical Report 2157, December 1993.
15. Sanjay Rajopadhye Patrice Quinton and Tanguy Risset. On manipulating z-polyhedra. Technical Report 1016, Jully 1996.
16. P. M. Hill R. Bagnara and E. Zaffanella. Widening operators for powerset domains. In Quaderno 349, Dipartimento di Matematica, Universit di Parma, Italy, 2004.
17. J. Rushby. Partitioning in avionics architectures: Requirements, mechanisms, and assurance. Technical report, Menlo Park USA, March 1999.
18. L. Sha, R. Rajkumar, and J.P. Lehoczky. Priority inheritance protocols: An approach to real-time synchronization. IEEE Transactions on Computers, 39:1175-1185, September 1990.
19. H. Le Verge. A note on cherniakova's algorithm. Technical Report RR-1662, April 1992.
20. B. L. Di Vito. A formal model of partitionning for integrated modular avionics. Technical report, August 1998.