A Holistic Viewpoint-Based SysML Profile to Design Systems-of-Systems

Proceedings of IEEE International Symposium on High Assurance Systems Engineering

Volumn 2016-March, Issue , 2016, Pages 276-283

  Mori, Marco ^a   Ceccarelli, Andrea ^a   Lollini, Paolo ^a   Bondavalli, Andrea ^a   Frömel, Bernhard ^b  

^a UNIVERSITY OF FLORENCE   (Italy)

^b VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

Conceptual Model; SysML Profile; System of Systems

Indexed keywords

DESIGN; MODELING LANGUAGES; SYSTEMS ENGINEERING; VISUAL LANGUAGES;

CONCEPTUAL MODEL; DOMAIN-SPECIFIC ONTOLOGIES; EMERGENT PHENOMENON; INTER-RELATIONSHIPS; MULTIDISCIPLINARY PROBLEMS; SECURITY REQUIREMENTS; SYSML PROFILE; VISUAL MODELING LANGUAGES;

SYSTEM OF SYSTEMS;

EID: 84962855652     PISSN: 15302059     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HASE.2016.21     Document Type: Conference Paper

References (30)

1. st century", Wiley and Sons, 2009.
2. E. Y. Nakagawa, M. Gonçalves, M. Guessi, L.B. Oliveira, F. Oquendo, "The state of the art and future perspectives in Systems-of-Systems software architectures", SESoS, pp. 13-20, 2013.
3. H. Kopetz, "Conceptual Model for the Information Transfer in Systems of Systems", ISORC 2014, pp. 17-24, IEEE Press. 2014.
4. S. A. Selberg, M. A. Austin, "Toward an Evolutionary System-of-Systems Architecture", INCOSE, pp. 1065-1078, 2008.
5. B. Schmerl, J. Aldrich, D. Garlan, R. Kazman, H. Yan, "Discovering Architectures from Running Systems", IEEE TSE, vol. 32(7), pp. 454-466, 2006.
6. S. Murer and B. Bonati, Frank J. Furrer, "Managed Evolution: A Strategy for Very Large Information Systems". Springer, 2010.
7. A. Avizienis, J.C. Laprie, B. Randell, C. Landwehr. "Basic concepts and taxonomy of dependable and secure computing", IEEE TDSC, vol. 1(1) pp. 11-33, 2003.
8. P. Verissimo, "Travelling through wormholes: a new look at distributed systems models," SIGACT News 37(1), pp. 66-81, 2006.
9. H. Kopetz, "Real-time systems: design principles for distributed embedded applications", Springer, 2011.
10. J. Mogul, "Emergent (Mis)behavior vs. Complex Software Systems", EuroSys, pp. 293-304, ACM, 2006.
11. MDT/Papyrus. Eclipse Model Development Tools (MDT). http://wiki.eclipse.org/MDT/Papyrus-Proposal.
12. FP7-ICT-2013-10-610535 AMADEOS - Architecture for Multicriticality Agile Dependable Evolutionary Open System-of-Systems-http://amadeos-project.eu/.
13. AMADEOS Consortium, "Deliverable 2.2 - AMADEOS Conceptual Model", 129 pages, April 2015.
14. A. Ceccarelli, M. Mori, P. Lollini, A. Bondavalli, "Introducing Meta-Requirements for Describing System of Systems" HASE, pp. 150-157, 2015.
15. T. V. Huynh, and J. S. Osmundson, "An Integrated Systems Engineering Methodology for Analyzing Systems of Systems Architectures", Asia-Pacific Systems Engineering Conference, Singapore, 2007.
16. J. A. Lane and T. B. Bohn, "Using SysML Modeling To Understand and Evolve Systems of Systems", System Engineering, vol. 16(1), pp. 87-98, 2013.
17. M. Rao, S. Ramakrishnan and C. Dagli, "Modeling and Simulation of Net Centric System of Systems Using Systems Modeling Language and Colored Petri-nets: A Demonstration Using the Global Earth Observation System of Systems", Systems Engineering, vol. 11(3), pp. 203-220, 2008.
18. COMPASS, "Guidelines for Architectural Modelling of SoS. Technical Note Number: D21.5a Version: 1.0", September 2014-http://www.compass-research.eu.
19. J. Bryans, J. S. Fitzgerald, R. Payne, and K. Kristensen, "Maintaining Emergence in Systems of Systems Integration: a Contractual Approach using SysML", INCOSE, 2014.
20. DANSE Consortium, DANSE Methodology V2 - D-4.3-https://www.danse-ip.eu.
21. T. Gezgin, C. Etzien, S. Henkler and A. Rettberg, "Towards a Rigorous Modeling Formalism for Systems of Systems", ISORCW, pp. 204-211, IEEE, 2012.
22. Redmond, P.J.; Michael, J.B.; Shebalin, P.V., "Interface hazard analysis for system of systems", SoSE, pp. 1-8, IEEE, 2008.
23. SAE Architecture Analysis & Design Language, AS5506, 2009-01-20
24. OMG. System Modelling Language (SysML) -http://www.omgsysml.org
25. L. Montecchi, P. Lollini and A. Bondavalli. "Dependability Concerns in Model-Driven Engineering". ISORCW, pp. 254-263, IEEE, 2011.
26. "A UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded systems", OMG Document Number: ptc/2008-06-09.
27. D. C. Schmidt, "Guest Editor's Introduction: Model-Driven Engineering", IEEE Computer, vol. 39(2), pp. 25-31,2006.
28. EN 50129:2003 - Railway applications - Communication, signalling and processing systems - Safety related electronic systems for signaling.
29. Kopetz, H. et al., "Towards an Understanding of Emergence in Systemsof-Systems" SoSE, pp. 214-219, IEEE, 2015.
30. V. Bonfiglio, et al., "Executable Models to Support Automated Software FMEA". HASE, pp. 189-196, IEEE, 2015.