Model-based systems engineering: Motivation, current status, and research opportunities, Systems Engineering, 2018. ,
, Object Management Group
, International Council for Systems Engineering
, Systems Modeling Language, version 1, vol.5, 2017.
Benefits of Model Based System Engineering for Avionics Systems, 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01291938
Flight Control System Modeling with SysML to Support Validation, Qualification and Certification, IFAC-PapersOnLine, vol.49, issue.3, pp.453-458, 2016. ,
Apvrille, L, EarlyChecking of SysML Models applied to protocols, 12th International Conference on Modeling, Optimisation and Simulation, 2018. ,
Development of an Automated MBT Toolchain from UML/SysML models, Innovations in Systems and Software Engineering, vol.7, pp.247-256, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00649263
, A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing, 17th International Conference on Formal Engineering Methods. (ICFEM'15), vol.9407, pp.134-152, 2015.
Practical Results from the Application of Model Checking and Test Generation from UML/SysML Models of On-Board Space Applications, DASIA 2009 Data Systems in Aerospace, 2009. ,
Verification by abstraction as a preamble for interoperability test suite generation. Protocol Specification, Testing and Verification XIV, 1995. ,
Testing Transition Systems: An Annotated Bibliography, Lecture Notes in Computer Science, 2000. ,
On observing nondeterminism and concurrency, Automata, Languages and Programming. ICALP 1980, vol.85, 1980. ,
Towards an Integrated Approach to Verification and Model-Based Testing in System Engineering, IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2017. ,
Chapter Three -Testing the Control-Flow, Data-Flow, and Time Aspects of Communication Systems: A Survey, International Symposium on Formal Methods, vol.106, pp.95-155, 2016. ,
, ES, vol.201, pp.873-874
Enabling Model Testing of Cyber-Physical Systems, Proceedings of ACM/IEEE 21th International Conference on Model Driven Engineering Languages and Systems, vol.11, 2018. ,
The refusal Graph: a Tradeoff between Verification and Test, 6th International Workshop on Protocol Test Systems (IWPTS'93), pp.301-316, 1993. ,
A C++ Implementation of an Efficient Algorithm for Labeled Transition System Minimization Based on Bisimulation Equivalence, 2008. ,
Generation of Test Cases based on SysML Models, International Conference on Electronic Engineering and Computer Science, vol.4, pp.133-138, 2013. ,
Testing Solutions through SysML / UML, Incose, vol.19, pp.760-774, 2019. ,
Formal Modeling and Verification of Cyber-Physical Systems, 2015. ,
An Automated Test Case Generation Approach based on Activity Diagrams of SysML, International Journal on Performability Engineering, vol.13, issue.6, pp.922-936, 2017. ,
MATERA -An Integrated Framework for Model-Based-Testing, Proceedings of the 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems, pp.321-328, 2010. ,
Model-based Avionic Systems Testing for the Airbus Family, 23r IEEE European Test Symposium, 2018. ,