Softcontract: Model-based design of error-checking code and property monitors

Lecture Notes in Computer Science

Volumn 3297, Issue , 2005, Pages 150-162

  Lavagno, Luciano ^a   Di Natale, Marco ^b   Ferrari, Alberto ^c   Giusto, Paolo ^d  

^a CADENCE DESIGN SYSTEMS   (United States)

^b SCUOLA SUPERIORE SANT ANNA   (Italy)

^c PARADES GEIE   (Italy)

^d Cadence Automotive Team   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (STANDARDS); COMPUTER AIDED DESIGN; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; EMBEDDED SYSTEMS; ERROR CORRECTION; RAPID PROTOTYPING;

EMBEDDED SOFTWARE; LINEAR TEMPORAL LOGICS; MODEL-BASED DESIGNS; SIMULATION STIMULI;

SOFTWARE ENGINEERING;

EID: 23944450601     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31797-5_16     Document Type: Conference Paper

References (14)

1. Ascet-SD, E.: (2004) http://www.etas.de.
2. Simulink, T.M., StateFlow: (2004) http://www.mathworks.com.
3. dSPACE TargetLink: (2004) http://www.dspace.de/.
4. Language, A.P.S.: (2004) http://www.accellera.org/.
5. Alexander, P., Kong, C, Barton, D.: Rosetta usage guide (2003) http://www.sldl.org.
6. Group, O.M., ed.: UML Profile for Schedulability, Performance, and Time. OMG document ptc/02-03-02 (2002)
7. Medina, J., Harbour, M.G., Drake, J.: Mast real-time view: A graphic uml tool for modeling object-oriented real-time systems. In: Proceedings of IEEE Real-Time Systems Symposium. (2001)
8. Saksena, M., Freedman, P., Rodziewic, P.: Automated implementation of executable object oriented models for real-time embedded control systems. In: Proceedings of IEEE Real-Time Systems Symposium. (1997)
9. Burns, A., Welling, A.J.: HRT-HOOD: A design method for hard real-time. Journal of Real-Time Systems 6 (1994) 73-114
10. Cornwell, P.D.: Reusable Component Engineering For Hard Real-Time Systems. PhD thesis, University of York (1998) YCST-98-04.
11. Jahanian, F., Mok, A.: Modechart: a specification language for real-time systems. IEEE Transactions on Software Engineering 20 (1994) 933-947
12. Mok, A., Liu, G.: Early detection of timing violation at runtime. In: Proceedings of IEEE Real-Time Systems Symposium. (1997)
13. Puchol, C., Mok, A.: Integrated design tools for hard real-time systems. In: Proceedings of IEEE Real-Time Systems Symposium. (1998)
14. Chen, X., Hsieh, H., Balarin, F., Watanabe, Y.: Automatic generation of simulation monitors from quantitative constr aint formula. In: Proceedings of Design Automation and Test in Europe. (2003)