Xác minh chính thức việc lắp ráp các thành phần dựa trên SysML và tự động hóa giao diện

Innovations in Systems and Software Engineering - Tập 7 - Trang 265-274 - 2011
Samir Chouali1, Ahmed Hammad1
1Computer Science Laboratory, University of Franche Comté, Besançon, France

Tóm tắt

Chúng tôi đề xuất một phương pháp kết hợp các mô hình SysML thành phần và tự động hóa giao diện nhằm lắp ráp các thành phần và xác minh một cách chính thức sự tương tác của chúng. Do đó, chúng tôi đề xuất xác minh chính thức việc lắp ráp các thành phần được xác định bằng ngôn ngữ mô hình bán chính thức và biểu cảm, SysML. Chúng tôi xác định kiến trúc hệ thống dựa trên thành phần bằng sơ đồ định nghĩa khối SysML, và các liên kết thành phần bằng sơ đồ khối nội bộ. Các giao thức của thành phần được xác định bằng sơ đồ tuần tự, điều này là cần thiết để khai thác hình thức tự động hóa giao diện. Tự động hóa giao diện là một hình thức dựa trên tự động hóa đầu vào và đầu ra (I/O) phổ biến nhằm xác định chữ ký và mức giao thức của các giao diện thành phần. Chúng tôi đề xuất các đặc tả chính thức cho các mô hình bán chính thức SysML nhằm khai thác phương pháp tự động hóa giao diện. Chúng tôi cũng cải thiện phương pháp tự động hóa giao diện bằng cách xem xét kiến trúc hệ thống, được xác định bằng SysML, trong việc xác minh lắp ráp các thành phần.

Từ khóa

#SysML #tự động hóa giao diện #xác minh chính thức #lắp ráp thành phần #kiến trúc hệ thống

Tài liệu tham khảo

http://www.omg.org http://www.incose.org http://ap233.eurostep.com http://www.uml.org OMG (2003) UML for systems engineering. Request For Proposal OMG (2006) OMG systems modeling language (OMG SysML) specification, OMG Final Adopted Specification. http://www.omgsysml.org 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 Alfaro L, Henzinger TA (2001) Interface automata. In: 9th annual symposium on foundations of software engineering. FSE, ACM Press, New York, pp 109–120 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 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 Baille G, Garnier P, Mathieu H, Pissard-Gibollet R (1999) The INRIA Rhône-Alpes CyCab. Technical report, INRIA, Describes the package natbib 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 Heineman GT, Councill WT (2001) Component based Software engineering. Addison Wesley, Boston 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 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 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 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 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 Szyperski C (1999) Component software. ACM Press/Addison-Wesley, New York 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 de Wegner P (1996) Interoperability. ACM Comput Surv 28(1): 285–287