Formal verification of components assembly based on SysML and interface automata

1. http://www.omg.org

2. http://www.incose.org

3. http://ap233.eurostep.com

4. http://www.uml.org

5. OMG (2003) UML for systems engineering. Request For Proposal

6. OMG (2006) OMG systems modeling language (OMG SysML) specification, OMG Final Adopted Specification. http://www.omgsysml.org

7. Adler TB, De Alfaro L, Da Silva RD, Faella M, Legay A, Raman V, Roy P (2006) Ticc, a tool for interface compatibility and composition. In: In Proceedings 18th international conference on computer aided verification (CAV), of lecture notes in computer science, vol 4144. Springer, New York, pp 59–62

8. Alfaro L, Henzinger TA (2001) Interface automata. In: 9th annual symposium on foundations of software engineering. FSE, ACM Press, New York, pp 109–120

9. Alfaro L, Henzinger TA (2005) Interface-based design. In: Broy M, Gruenbauer J, Harel D, Hoare CAR (eds) Engineering theories of software-intensive systems. NATO science series: Math Phys Chem, vol 195. Springer, New York, pp 83–104

10. Alfaro L, Henzinger TA, Stoelinga M (2002) Timed interfaces. In: EMSOFT ’02: proceedings of the second international conference on embedded software. Springer, London, pp 108–122

11. Baille G, Garnier P, Mathieu H, Pissard-Gibollet R (1999) The INRIA Rhône-Alpes CyCab. Technical report, INRIA, Describes the package natbib

12. Carneiro E, Maciel P, Callou G, Tavares E, Nogueira B (2008) Mapping SysML state machine diagram to time petri net for analysis and verification of embedded real-time systems with energy constraints. Electr Micro Electr Int Confer Adv 0: 1–6

    Article  Google Scholar 

13. Heineman GT, Councill WT (2001) Component based Software engineering. Addison Wesley, Boston

14. Jarraya Y, Debbabi M, Bentahar J (2009) On the Meaning of SysML Activity Diagrams. In: Proceedings of the 2009 16th annual IEEE international conference and workshop on the engineering of computer based systems, ECBS ’09. IEEE Computer Society, Washington, DC, pp 95–105

15. Knorreck D, Apvrille L, de Saqui-Sannes P (2011) TEPE: a SysML language for time-constrained property modeling and formal verification. SIGSOFT Softw Eng Notes 36: 1–8

    Article  Google Scholar 

16. Konstantas D (1995) Interoperation of object oriented application. In: Nierstrasz O, Tsichritzis D (eds) Object-oriented software composition. Prentice Hall, Upper Saddle River, pp 69–95

    Google Scholar 

17. Lynch N, Tuttle M (1987) Hierarchical correctness proofs for distributed algorithms. In: 6th ACM symposium on principles of distributed computing. ACM Press, Florida, pp 137–151

18. Pétin J-F, Evrot D, Morel G, Lamy P (2010) Combining SysML and formal methods for safety requirements verification. In: 22nd International Conference on Software and Systems Engineering and their Applications, CDROM, vol 12. Paris, France

19. Szyperski C (1999) Component software. ACM Press/Addison-Wesley, New York

20. Wang R, Dagli CH (2008) An executable system architecture approach to discrete events system modeling using SysML in conjunction with colored Petri Net. In: Systems conference, 2nd annual IEEE, 2008

21. de Wegner P (1996) Interoperability. ACM Comput Surv 28(1): 285–287

    Article  Google Scholar 

Download references