과제정보
연구 과제번호 : (SW 스타랩) 모델 기반의 초대형 복잡 시스템 분석 및 검증 SW 개발
연구 과제 주관 기관 : 정보통신기술진흥센터
참고문헌
- Nielsen, Clause Ballegaard, et al., "Systems of Systems Engineering: Basic Concepts, Model-Based Techniques, and Research Directions," ACM Computing Surveys (CSUR) 48.2 (2015): 18.
- Lane, Jo Ann, and D. Epstein, "What is a system of systems and why should i care?," University of Southern California, 2013.
- Seo, Dongwon, et al., "Modeling and verification for different types of system of systems using PRISM," Proc. of the 4th International Workshop on Software Engineering for Systems-of-Systems, pp. 12-18, May, 2016.
- Woodcock, J., Cavalcanti, A., Fitzgerald, J., Larsen, P., Miyazawa, A., & Perry, S., "Features of CML: A formal modelling language for systems of systems." 2012 7th International Conference on IEEE System of Systems Engineering (SoSE), pp. 1-6, Jul. 2012.
- MAIER, Mark W., "Architecting principles for systems-of-systems," INCOSE International Symposium, pp. 565-573, 1996.
- Legay, A., Delahaye, B., & Bensalem, S., "Statistical model checking: An overview," International Conference on Runtime Verification, Vol. 6418, pp. 122-135, May. 2010.
- Clarke, E. M., Klieber, W., Novacek, M., & Zuliani, P., "Model checking and the state explosion problem," LASER Summer School on Software Engineering, Vol. 7682, pp. 1-30, Sept. 2011.
- Marta Kwiatkowska, Gethin Norman and David Parker, PRISM 4.0: Verification of Probabilistic Realtime Systems, Proc. 23rd International Conference on Computer Aided Verification (CAV' 11), Vol. 6806, pp. 585-591, Jul. 2011.
- Mishan, Edward J., and Euston Quah, Cost-benefit analysis, Routledge, 2007.
- Herault, T., Lassaigne, R., Magniette, F., & Peyronnet, S., "Approximate probabilistic model checking," International Workshop on Verification, Model Checking, and Abstract Interpretation, pp. 73-84, Jan. 2004.