Modeling and verification for different types of system of systems using PRISM-Reference-Cited by-同舟云学术

Modeling and verification for different types of system of systems using PRISM

Published:2016 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 4th International Workshop on Software Engineering for Systems-of-Systems - SESoS '16
language:
Short-container-title:

Author:

Seo Dongwon¹,Shin Donghwan¹,Baek Young-Min¹,Song Jiyoung¹,Yun Wonkyung¹,Kim Junho¹,Jee Eunkyoung¹,Bae Doo-Hwan¹

Affiliation:

1. Korea Advanced Institute of Science and Technology (KAIST), Daejeon, Republic of Korea

Publisher

ACM Press

Reference20 articles.

1. M. W. Maier, "Architecting principles for systems-of-systems," inINCOSE International Symposium, vol. 6, no. 1. Wiley Online Library, 1996, pp. 565--573.

2. J. S. Dahmann and K. J. Baldwin, "Understanding the current state of us defense systems of systems and the implications for systems engineering," inSystems Conference, 2008 2nd Annual IEEE.IEEE, 2008, pp. 1--7.

3. A. Hammad, H. Mountassir, and S. Chouali, "An approach combining sysml and modelica for modelling and validate wireless sensor networks," inProceedings of the First International Workshop on Software Engineering for Systems-of-Systems.ACM, 2013, pp. 5--12.

4. J. Bryans, J. Fitzgerald, R. Payne, and K. Kristensen, "Maintaining emergence in systems of systems integration: a contractual approach using sysml," inProceedings of INCOSE, 2014.

5. 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, no. 3, pp. 203--220, 2008.

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Looking back and forward: A retrospective and future directions on software engineering for systems‐of‐systems;Journal of Software: Evolution and Process;2024-06-09

2. Towards an understanding of reliability of software-intensive systems-of-systems;Information and Software Technology;2023-06

3. A goal-based approach for modeling and simulation of different types of system-of-systems;Journal of Systems Engineering and Electronics;2023-06

4. Verification of Intelligent Transportation Systems: Challenges And Possibilities;2022 17th Annual System of Systems Engineering Conference (SOSE);2022-06-07

5. ABC +;Proceedings of the 33rd Annual ACM Symposium on Applied Computing;2018-04-09