Non-Functional Requirements in a Component Model for Embedded Systems
作者： Stéphane Ducasse , Roel Wuyts
DOI:
关键词:
摘要: In this paper we describe an interesting context to study formal methods for component systems: embedded devices. The of devices is highly constrained by the physical requirements have adhere to. As a result, models are not general purpose but geared towards these contexts. give concrete setting Pecos project (a with as goal engineering devices). We model, and show possibilities where think verification could be useful. would like use very example discuss techniques.
参考文章(6)
Gérard Berry, The foundations of Esterel Proof, language, and interaction. pp. 425- 454 ,(2000)
K. Mens, R. Wuyts, T. D'Hondt, Declaratively codifying software architectures using virtual software classifications technology of object oriented languages and systems. pp. 33- 45 ,(1999) , 10.1109/TOOLS.1999.778997
G. Berry, S. Ramesh, R. K. Shyamasundar, Communicating reactive processes Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '93. pp. 85- 98 ,(1993) , 10.1145/158511.158526
N. Halbwachs, P. Caspi, P. Raymond, D. Pilaud, The synchronous data flow programming language LUSTRE Proceedings of the IEEE. ,vol. 79, pp. 1305- 1320 ,(1991) , 10.1109/5.97300
M. Jourdan, F. Lagnier, F. Maraninchi, P. Raymond, A multiparadigm language for reactive systems international conference on computational logistics. pp. 211- 218 ,(1994) , 10.1109/ICCL.1994.288379
Clemens Szyperski, Component software ,(1997)