Logical-time contracts for reactive embedded components

Conference Proceedings of the EUROMICRO

Volumn 30, Issue , 2004, Pages 48-55

  Maraninchi, Florence ^a   Morel, Lionel ^a  

^a VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ACTUATORS; BOOLEAN ALGEBRA; INTERFACES (COMPUTER); JAVA PROGRAMMING LANGUAGE; OBJECT ORIENTED PROGRAMMING; SYNCHRONIZATION; MICROWAVE CIRCUITS;

INTERACTIVE SYSTEMS; LOGICAL-TIME CONTRACTS; REACTIVE SYSTEMS; TIMING ASPECTS; DESIGN BY CONTRACTS; EMBEDDED COMPONENTS; OBJECT-ORIENTED DESIGN; REACTIVE COMPONENTS; REACTIVE SOFTWARE; SYNCHRONOUS COMPOSITION;

EMBEDDED SYSTEMS; SPECIFICATIONS;

EID: 11844271485     PISSN: 10896503     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/eurmic.2004.1333355     Document Type: Conference Paper

References (21)

1. Harel, D., Pnueli, A.: On the development of reactive systems. In Apt, K.R., ed.: Logics and Models of Concurrent Systems. Volume 13 of NATO, ASI Series. Springer-Verlag, New York (1985) 447-498
2. Meyer, B.: Applying 'design by contract'. IEEE Computer (1992) 40-51
3. Meyer, B.: Eiffel: An Introduction. Interactive Software Eng. (1988)
4. Kramer, R.: iContract - the Java design by contract tool. TOOLS 26: Technology of Object-Oriented Languages and Systems, Los Alamitos, California (1998) 295-307
5. Rational Software Corp. et al.: Object Constraint Language Specification, version 1.1. (1997) www.rational.com/uml/resources/ documentation/formats. jtmpl.
6. Hayes, I.J., Jones, C.B.: Specifications are not (necessarily) executable. Technical Report 148, St. Lucia, Queensland, Australia 4072 (1990)
7. Halbwachs, N., Baghdadi, S.: Synchronous modeling of asynchronous systems. In: EMSOFT'02, Grenoble, LNCS 2491, Springer Verlag (2002)
8. Maraninchi, F., Morel, L.: Arrays and contracts for the specification and analysis of regular systems. In: Fourth International Conference on Application of Concurrency to System Design, Hamilton, Ontario, Canada (2004)
9. Halbwachs, N., Lagnier, F., Ratel, C.: Programming and verifying critical systems by means of the synchronous data-flow programming language LUSTRE. IEEE Transactions on Software Engineering, Special Issue on the Specification and Analysis of Real-Time Systems (1992)
10. Jones, C.B.: Specification and design of (parallel) programs. In Manson, R.E.A., ed.: Proceedings of IFIP '83, IFIP, North-Holland (1983) 321-332
11. McMillan, K.L.: The SMV system, symbolic model checking - an approach. Technical Report CMU-CS-92-131, Carnegie Mellon University (1992)
12. th Annual IEEE Symposium on Logic in Computer Science, New Brunswick, New Jersey, IEEE Computer Society Press (1996) 207-218
13. de Alfaro, L., Henzinger, T.A.: Interface automata. In: Proceedings of the Ninth Annual Symposium on Foundations of Software Engineering, ACM Press (2001)
14. Ziemann, P., Gogolla, M.: An extension of OCL with temporal logic. In: Critical Systems Development with UML - Proceedings of the UML'02 workshop, Technische Universität München, Institut für Informatik (2002) 53-62
15. Flake, S., Mueller, W.: An OCL extension for real-time constraints. Lecture Notes in Computer Science 2263 (2001) 150-171
16. Bartetzko, D., Fischer, C., Möller, M., Wehrheim, H.: Jass - Java with assertions. In Havelund, K., Roşu, G., eds.: Runtime Verification. Volume 55 of ENTCS., Elsevier (2001)
17. Devadas, S.: Optimizing interacting finite state machines using sequential don't cares. IEEE Transaction of Computer-Aided Design 10 (1991) 1473-1484
18. Halbwachs, N., Lagnier, F., Raymond, P.: Synchronous observers and the verification of reactive systems. In Nivat, M., Rattray, C., Rus, T., Scollo, G., eds.: Third Int. Conf. on Algebraic Methodology and Software Technology, AMAST'93, Twente, Workshops in Computing, Springer Verlag (1993)
19. Fuchs, N.E.: Specifications are (preferably) executable. IEE/BCS Software Engineering Journal 7 (1992) 323-334
20. Raymond, P., Weber, D., Nicollin, X., Halbwachs, N.: Automatic testing of reactive systems. In: 19th IEEE Real-Time Systems Symposium, Madrid, Spain (1998)
21. Uchitel, S., Yankelevich, D.: Enhancing architectural mismatch detection with assumptions. In: proceedings of the 7th IEEE International Conference on the Engineering of Computer Based Systems (ECBS 2000). (2000)