Critical Systems Verification in MetaMORP(h)OSY

1. Bureau, A.T.S.: Ao-2008-070: In-flight upset, 154 km west of learmonth, wa, 7 october 2008. In: Airbus A330-303. Tech. rep (October 2008)

   Google Scholar 

2. Williams, M.: Toyota to recall prius hybrids over abs software. In: Computerworld (2010)

   Google Scholar 

3. Charette, R.N.: This car runs on code. IEEE Spectrum 46 (2009)

   Google Scholar 

4. Feiler, P.H.: Model-based validation of safety-critical embedded systems. In: 2010 IEEE Aerospace Conference, pp. 1–10. IEEE (2010)

   Google Scholar 

5. Hutchinson, J., Rouncefield, M., Whittle, J.: Model-driven engineering practices in industry. In: 2011 33rd International Conference on Software Engineering (ICSE), pp. 633–642 (May 2011)

   Google Scholar 

6. Guessoum, Z., Briot, J.P., Faci, N., Marin, O.: Towards reliable multi-agent systems: An adaptive replication mechanism. Multiagent Grid Syst. 6, 1–24 (2010)

   MATH  Google Scholar 

7. Kavi, K.M., Aborizka, M., Kung, D., Texas, N.: A framework for designing, modeling and analyzing agent based software systems. In: Proc. of 5th International Conference on Algorithms and Architectures for Parallel Processing, pp. 23–25 (2002)

   Google Scholar 

8. Da Silva, V.T., De Lucena, C.J.P.: From a conceptual framework for agents and objects to a multi-agent system modeling language. Autonomous Agents and Multi-Agent Systems 9, 145–189 (2004)

   Article  Google Scholar 

9. Moscato, F., Aversa, R., Amato, A.: Describing cloud use case in metamorp(h)osy. In: IEEE Proc. of CISIS 2012 Conference, pp. 793–798 (2012)

   Google Scholar 

10. PapyrusGroup: Papyrus uml, http://www.papyrusuml.org

11. Franceschinis, G., Gribaudo, M., Iacono, M., Marrone, S., Moscato, F., Vittorini, V.: Interfaces and binding in component based development of formal models. In: IEEE Proc. of VALUETOOLS 2009 Conference, vol. 44 (2009)

    Google Scholar 

12. Moscato, F., Vittorini, V., Amato, F., Mazzeo, A., Mazzocca, N.: Solution workflows for model-based analysis of complex systems. IEEE T. Automation Science and Engineering 9(1), 83–95 (2012)

    Google Scholar 

13. Moscato, F., Martino, B.D., Aversa, R.: Enabling model driven engineering of cloud services by using mosaic ontology. Scalable Computing: Practice and Experience 13(1) (2012)

    Google Scholar 

14. Bauer, B.: UML class diagrams revisited in the context of agent-based systems. In: Wooldridge, M.J., Weiß, G., Ciancarini, P. (eds.) AOSE 2001. LNCS, vol. 2222, pp. 101–118. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

15. Bauer, B., Müller, J.P., Odell, J.: Agent uml: A formalism for specifying multiagent software systems. Int. Journal of Software Engineering and Knowledge Engineering 11, 91–103 (2000)

    Google Scholar 

16. Trencansky, I., Cervenka, R.: Agent modeling language (aml): A comprehensive approach to modeling mas. Whitestein Series in Software Agent Technologies and Autonomic Computing 29, 391–400 (2005)

    Google Scholar 

17. Gascueña, J.M., Navarro, E., Fernández-Caballero, A.: Model-driven engineering techniques for the development of multi-agent systems. Engineering Applications of Artificial Intelligence 25(1), 159–173 (2012)

    Article  Google Scholar 

18. Fernández-Caballero, A., Gascueña, J.M.: Developing multi-agent systems through integrating prometheus, INGENIAS and ICARO-T. In: Filipe, J., Fred, A., Sharp, B. (eds.) ICAART 2009. CCIS, vol. 67, pp. 219–232. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

19. Abdulla, P.A., Deneux, J., Stålmarck, G., Ågren, H., Åkerlund, O.: Designing safe, reliable systems using scade. In: Margaria, T., Steffen, B. (eds.) ISoLA 2004. LNCS, vol. 4313, pp. 115–129. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

20. Farines, J., De Queiroz, M., da Rocha, V., Carpes, A., Vernadat, F., Cregut, X.: A model-driven engineering approach to formal verification of plc programs. In: 2011 IEEE 16th Conference on Emerging Technologies Factory Automation (ETFA), pp. 1–8 (September 2011)

    Google Scholar 

21. Moscato, F., Aversa, R., Martino, B.D., Fortis, T.F., Munteanu, V.I.: An analysis of mosaic ontology for cloud resources annotation. In: IEEE Proc. of FedCSIS 2011 Conference, pp. 973–980 (2011)

    Google Scholar 

22. Ghazel, M.: Formalizing a subset of ertms/etcs specifications for verification purposes. Transportation Research Part C: Emerging Technologies 42, 60–75 (2014)

    Article  Google Scholar 

23. Ayed, R.B., Collart-Dutilleul, S., Bon, P., Idani, A., Ledru, Y.: B formal validation of ERTMS/ETCS railway operating rules. In: Ait Ameur, Y., Schewe, K.-D. (eds.) ABZ 2014. LNCS, vol. 8477, pp. 124–129. Springer, Heidelberg (2014)

    Chapter  Google Scholar 

24. James, P., Moller, F., Nguyen, H., Roggenbach, M., Schneider, S., Treharne, H.: Techniques for modelling and verifying railway interlockings. International Journal on Software Tools for Technology Transfer, 1–27 (2014)

    Google Scholar 

25. Moscato, F., Venticinque, S., Aversa, R., Di Martino, B.: Formal modeling and verification of real-time multi-agent systems: The REMM framework. In: Badica, C., Mangioni, G., Carchiolo, V., Burdescu, D. (eds.) Intelligent Distributed Computing, Systems and Applications. SCI, vol. 162, pp. 187–196. Springer, Berlin (2008)

    Chapter  Google Scholar 

26. Wooldridge, M.: Agent-based software engineering. In: IEE Proceedings on Software Engineering, pp. 26–37 (1997)

    Google Scholar 

27. Amato, F., Casola, V., Mazzocca, N., Romano, S.: A semantic-based document processing framework: a security perspective. In: 2011 International Conference on Complex, Intelligent and Software Intensive Systems (CISIS), pp. 197–202. IEEE (2011)

    Google Scholar 

28. Amato, F., Casola, V., Mazzocca, N., Romano, S.: A semantic approach for fine-grain access control of e-health documents. Logic Journal of IGPL 21(4), 692–701 (2013)

    Article  MathSciNet  Google Scholar 

29. Amato, F., Casola, V., Mazzeo, A., Romano, S.: A semantic based methodology to classify and protect sensitive data in medical records. In: 2010 Sixth International Conference on Information Assurance and Security (IAS), pp. 240–246. IEEE (2010)

    Google Scholar 

30. Mens, T., Gorp, P.V.: A taxonomy of model transformation. Electronic Notes in Theoretical Computer Science 152, 125–142 (2006); Proceedings of the International Workshop on Graph and Model Transformation (GraMoT 2005) (2005)

    Google Scholar 

31. Bloomfield, R.: Fundamentals of european rail traffic management system-ertms. IET Standards (2006)

    Google Scholar 

32. Ciccozzi, F., Sjodin, M.: Enhancing the generation of correct-by-construction code from design models for complex embedded systems. In: 2012 IEEE 17th Conference on Emerging Technologies Factory Automation (ETFA), pp. 1–4 (September 2012)

    Google Scholar 

33. Altera: Quartus ii, http://www.altera.com/products/software/quartus-ii/about/qts-performance-productivity.html

34. Hirel, C., Sahner, R., Zang, X., Trivedi, K.S.: Reliability and performability modeling using SHARPE 2000. In: Haverkort, B.R., Bohnenkamp, H.C., Smith, C.U. (eds.) TOOLS 2000. LNCS, vol. 1786, pp. 345–349. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

35. Červenka, R., Trenčanský, I., Calisti, M., Greenwood, D.P.A.: AML: Agent modeling language toward industry-grade agent-based modeling. In: Odell, J.J., Giorgini, P., Müller, J.P. (eds.) AOSE 2004. LNCS, vol. 3382, pp. 31–46. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

36. Nicol, D., Sanders, W., Trivedi, K.: Model-based evaluation: from dependability to security. IEEE Transactions on Dependable and Secure Computing 1(1), 48–65 (2004)

    Article  Google Scholar 

37. Panesar-Walawege, R.K., Sabetzadeh, M., Briand, L.: Supporting the verification of compliance to safety standards via model-driven engineering: Approach, tool-support and empirical validation. Information and Software Technology 55(5), 836–864 (2013)

    Article  Google Scholar 

Download references