A contract-based formalism for the specification of heterogeneous systems

Proceedings - 2008 Forum on Specification, Verification and Design Languages, FDL'08

Volumn , Issue , 2008, Pages 142-147

  Benvenuti, Luca ^a,b   Ferrari, Alberto ^b   Mangeruca, Leonardo ^b   Mazzi, Emanuele ^b,c   Passerone, Roberto ^b,d   Sofronis, Christos ^b  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

^b PARADES   (Italy)

^c UNIVERSITY OF PISA   (Italy)

^d UNIVERSITY OF TRENTO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPONENT COMPOSITION; DESIGN METHODOLOGY; HETEROGENEOUS SYSTEMS; MATHEMATICAL FORMALISM; NON-FUNCTIONAL ASPECTS; VERIFICATION METHODOLOGY;

MATHEMATICAL MODELS; SPECIFICATIONS;

DESIGN;

EID: 67650492988     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/FDL.2008.4641436     Document Type: Conference Paper

References (10)

1. A. Balluchi, A. Casagrande, P. Collins, A. Ferrari, T. Villa, and A. SangiovanniVincentelli. Ariadne: a framework for reachability analysis of hybrid automata. In Proceedings of the 17th International Symposium on Mathematical Theory of Networks and Systems, Kyoto, Japan, July 2006.
2. A. Benveniste, B. Caillaud, A. Ferrari, L. Mangeruca, R. Passerone, and C. Sofronis. Multiple viewpoint contractbased specification and design. In Revised Lectures of the Software Technologies Concertation on Formal Methods for Components and Objects (FMCO07), Lecture Notes in Computer Science. Springer Verlag, Amsterdam, The Netherlands, 2007. In preparation.
3. L. Benvenuti, A. Ferrari, E. Mazzi, and A. L. Sangiovanni-Vincentelli. Contract-based design for computation and verification of a closed-loop hybrid system. In Proceedings of the Hybrid System: Computation and Control (HSCC08), St. Louis, MO, April 22-24, 2008.
4. H. Butz. The Airbus approach to open Integrated Modular Avionics: technology, functions, industrial processes and future development roadmap. In International Workshop on Aircraft System Technologies, Hamburg, March 2007.
5. P. Collins. Continuity and computability of reachable sets. Theoretical Computer Science, 341:162-195, 2005.
6. th ACM & IEEE International conference on Embedded software (EMSOFT06), Seoul, Korea, October 22-25 2006.
7. L. de Alfaro and T. A. Henzinger. Interface automata. In Proceedings of the Ninth Annual Symposium on Foundations of Software Engineering, pages 109-120. ACM Press, 2001.
8. D. L. Dill. Trace Theory for Automatic Hierarchical Verification of SpeedIndependent Circuits. ACM Distinguished Dissertations. MIT Press, 1989.
9. R. Negulescu. Process spaces. In CONCUR, volume 1877 of Lecture Notes in Computer Science. SpringerVerlag, 2000.
10. SPEEDS. http://www.speeds.eu.com.