Formal Verification of Simulation Scenarios in Aviation Scenario Definition Language (ASDL)
暂无分享,去创建一个
[1] Gerard J. Holzmann,et al. Implementing statecharts in PROMELA/SPIN , 1998, Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques.
[2] Alberto Rodrigues da Silva,et al. Model-driven engineering: A survey supported by the unified conceptual model , 2015, Comput. Lang. Syst. Struct..
[3] Marco Pistore,et al. NuSMV 2: An OpenSource Tool for Symbolic Model Checking , 2002, CAV.
[4] Klaus Havelund,et al. Java PathFinder, A Translator from Java to Promela , 1999, SPIN.
[5] Ellen J. Bass,et al. Using Formal Verification to Evaluate Human-Automation Interaction: A Review , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[6] M Mernik,et al. When and how to develop domain-specific languages , 2005, CSUR.
[7] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[8] Stephan Merz,et al. Model Checking , 2000 .
[9] Hans Vangheluwe,et al. Towards Domain-specific Model Editors with Automatic Model Completion , 2010, Simul..
[10] Umut Durak,et al. Scenario development: A Model-Driven Engineering perspective , 2014, 2014 4th International Conference On Simulation And Modeling Methodologies, Technologies And Applications (SIMULTECH).
[11] Umut Durak,et al. OWL ontology to Ecore metamodel transformation for designing a domain specific language to develop aviation scenarios , 2017, SpringSim.
[12] Antonio Vallecillo,et al. Formal Specification and Analysis of Domain Specific Models Using Maude , 2009, Simul..
[13] Umut Durak,et al. Formal Scenario Definition Language for Aviation: Aircraft Landing Case Study , 2016 .
[14] Jeannette M. Wing. A specifier's introduction to formal methods , 1990, Computer.
[15] Antonio Vallecillo,et al. Formal and Tool Support for Model Driven Engineering with Maude , 2007, J. Object Technol..
[16] Gerard J. Holzmann,et al. The Model Checker SPIN , 1997, IEEE Trans. Software Eng..
[17] Maria João Varanda Pereira,et al. Ontological approach for DSL development , 2016, Comput. Lang. Syst. Struct..
[18] Christel Baier,et al. Principles of model checking , 2008 .
[19] Frank Budinsky,et al. Eclipse modeling framework : a developer's guide , 2004 .
[20] Pedro Merino,et al. Integrating model checking and simulation for protocol optimization , 2015, Simul..
[21] Umut Durak,et al. Graphical Specification of Flight Scenarios with Aviation Scenario Defintion Language (ASDL) , 2017 .
[22] Doron Drusinsky,et al. Modeling and verification using UML statecharts - a working guide to reactive system design, runtime monitoring and execution-based model checking , 2006 .