SoftContract: An assertion-based software development process that enables design-by-contract

Proceedings - Design, Automation and Test in Europe Conference and Exhibition

Volumn 1, Issue , 2004, Pages 358-363

  Brunel, Jean Yves ^a   Di Natale, Marco ^b   Ferrari, Alberto ^c   Giusto, Paolo ^d   Lavagno, Luciano ^e  

^a Cadence Automotive Team   (France)

^b SCUOLA SUPERIORE SANT ANNA   (Italy)

^c PARADES   (Italy)

^d Cadence Berkeley Labs ^*  (France)

^e CADENCE DESIGN SYSTEMS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED TRANSFORMATION; EMBEDDED CODER; LINEAR TEMPORAL LOGIC; ASSERTION-BASED VERIFICATION; AUTOMATED GENERATION; DESIGN BY CONTRACTS; MODEL-BASED DESIGN; MULTIPLE TARGETS; SOFTWARE DEVELOPMENT PROCESS;

AUTOMATION; COMPUTER AIDED DESIGN; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; EMBEDDED SYSTEMS; INTERCONNECTION NETWORKS; MATHEMATICAL MODELS; EMBEDDED SOFTWARE; EXHIBITIONS; SOFTWARE ENGINEERING; TEMPORAL LOGIC;

SOFTWARE ENGINEERING; DESIGN;

EID: 3042655062     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DATE.2004.1268873     Document Type: Conference Paper

References (14)

1. P. Alexander, C. Kong, and D. Barton. Rosetta usage guide. http://www.sldl.org.
2. ETAS Ascet-SD. http://www.etas.de.
3. A. Burns and A. J. Welling. HRT-HOOD: A design method for hard real-time. Journal of Real-rime Systems, 6(1):73-114, 1994.
4. X. Chen, H. Hsieh, F. Balarin, and Y. Watanabe. Automatic generation of simulation monitors from quantitative constr aint formula. In Proceedings of Design Automation and Test in Europe, March 2003.
5. dSPACE TargetLink. http://www.dspace.de/.
6. Object Management Group, editor. UML Profile for Schedulability, Performance, and Time. OMG document ptc/02-03-02, 2002.
7. F. Jahanian and A. Mok. Modechart: a specification language for real-time systems. IEEE Transactions on Software Engineering, 20(12):933-947, 1994.
8. Accellera Property Specification Language. http://www.accellera.org/.
9. J.L. Medina, M. Gonzalez Harbour, and J.M. Drake. Mast real-time view: A graphic uml tool for modeling object-oriented real-time systems. In Proceedings of IEEE Real-Time Systems Symposium, December 2001.
10. A. Mok and G. Liu. Early detection of timing violation at runtime. In Proceedings of IEEE Real-Time Systems Symposium, December 1997.
11. C. Puchol and A. Mok. Integrated design tools for hard real-time systems. In Proceedings of IEEE Real-Time Systems Symposium, December 1998.
12. M. Saksena, P. Freedman, and P. Rodziewic. Automated implementation of executable object oriented models for real-time embedded control systems. In Proceedings of IEEE Real-Time Systems Symposium, December 1997.
13. The Mathworks Simulink and StateFlow. http://www.mathworks.com.
14. USA Today. Advances in car technology bring high-class headaches, November 2003. http://www.usatoday.com/tech/news/2003-11-11-carrepairs_x.htm.