Using contract-based component specifications for virtual integration testing and architecture design

Proceedings -Design, Automation and Test in Europe, DATE

Volumn , Issue , 2011, Pages 1023-1028

  Damm, Werner ^a   Hungar, Hardi ^a   Josko, Bernhard ^a   Peikenkamp, Thomas ^a   Stierand, Ingo ^b  

^a OFFIS ^*  (Germany)

^b UNIVERSITY OF OLDENBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARCHITECTURE DESIGNS; ARCHITECTURE EVALUATION; ARTEMIS; COMPONENT SPECIFICATION; EMBEDDED SYSTEMS DESIGN; FORMAL APPROACH; INTEGRATED PROJECT; MULTI-CRITERIA; REAL TIME ASPECTS; REQUIREMENT SPECIFICATION; THEORETICAL FOUNDATIONS; VIRTUAL INTEGRATION;

DESIGN; EMBEDDED SOFTWARE; EMBEDDED SYSTEMS; INTEGRATION; REAL TIME SYSTEMS; SAFETY TESTING; SPECIFICATION LANGUAGES; SYSTEMS ANALYSIS;

SPECIFICATIONS;

EID: 79957535122     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. ARP4754. Certification Considerations for Highly-Integrated or Complex Aircraft Systems. Aerospace Recommended Practice, USA, 1996.
2. ARP4761. Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment. Aerospace Recommended Practice, Society of Automotive Engineers, USA, 1996.
3. A. Benveniste, B. Caillaud, A. Ferrari, L. Mangeruca, R. Passerone, and C. Sofronis. Multiple viewpoint contract-based specification and design. In Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, and Willem-Paul Roever, editors, Formal Methods for Components and Objects, FMCO '07, LNCS 5382, pages 200-225. Springer, 2008.
4. A. Benveniste, B. Caillaud, R. Passerone, B. Josko, E. Badouel, and B. Delahaye. SPEEDS Meta-model Behavioural Semantics. Technical report, SPEEDS Consortium, Jan 2007.
5. Manfred Broy. A functional rephrasing of the assumption/commitment specification style. Formal Methods in System Design, 13(1):87-119, 1998.
6. W. Damm. Controlling speculative design processes using rich component models. In 5th International Conference on Application of Concurrency to System Design (ACSD 2005), 2005.
7. W. Damm, A. Votintseva, A. Metzner, B. Josko, T. Peikenkamp, and E. Böde. Boosting re-use of embedded automotive applications through rich components. In Foundations of Interface Technologies, FIT'05, 2005.
8. A. Davare, D. Densmore, T. Meyerowitz, A. Pinto, A. Sangiovanni- Vincentelli, G. Yang, H. Zeng, and Q. Zhu. A next-generation design framework for platform-based design. In Proc. of Conference on Using Hardware Design and Verification Languages (DVCon) '07, 2007.
9. A. Engel, M. Winokur, G. Döhmen, and M. Enzmann. Assumptions / promises - shifting the paradigm in systems-engineering. In Proceedings of the INCOSE International Symposium 2008, June 2008 Utrecht, 2008.
10. V. Gafni, A. Benveniste, B. Caillaud, S. Graf, and B. Josko. SPEEDS Deliverable D.2.5.4: Contract Specification Language (CSL). D-2-5-4-RE-Contract- Specification-Language.pdf on http://www.speeds.eu.com/downloads/, 2008.
11. B. Josko, Q. Ma, and A. Metzner. Designing embedded systems using heterogeneous rich components. In Proceedings of the INCOSE International Symposium 2008, June 2008 Utrecht, 2008.
12. Bertrand Meyer. Applying "design by contract". Computer, 25(10):40-51, 1992.
13. R. Passerone, J.R. Burch, and A.L. Sangiovanni-Vincentelli. Refinement preserving approximations for the design and verification of heterogeneous systems. Form. Methods Syst. Des., 31:1-33, August 2007. (Pubitemid 46981155)
14. R. Passerone, I. Ben Hafaiedh, S. Graf, A. Benveniste, D. Cancila, A. Cuccuru, S. Gerard, F. Terrier, W. Damm, A. Ferrari, L. Mangeruca, B. Josko, T. Peikenkamp, and A. Sangiovanni-Vincentelli. Metamodels in Europe: Languages, tools, and applications. IEEE Design and Test of Computers, 26:38-53, 2009.