共 50 条
- [1] Development of Safety Process in Model-Based Design Platform for Safety-Critical Systems [J]. PROCEEDINGS OF 2013 IEEE 4TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS), 2012, : 627 - 630
- [2] Model-based software development - A Process for safety-critical embedded Systems [J]. ATP EDITION, 2012, (7-8): : 60 - 66
- [3] A Model-Based Design Methodology with Contracts to Enhance the Development Process of Safety-Critical Systems [J]. SOFTWARE TECHNOLOGIES FOR EMBEDDED AND UBIQUITOUS SYSTEMS, 2010, 6399 : 59 - +
- [4] Generic Process Framework for Safety-Critical Software in a Weapon System [J]. COMPUTER APPLICATIONS FOR DATABASE, EDUCATION, AND UBIQUITOUS COMPUTING, 2012, 352 : 92 - +
- [5] A model-based Software Development Process for Safety-critical embedded Systems in industrial Measurement Technology UML-Framework for the Modeling of safety-critical Software [J]. AUTOMATION 2012, 2012, 2171 : 55 - 58
- [6] A Process-oriented Build Tool for Safety-critical Model-based Software Development [J]. PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2018, : 191 - 202
- [7] An assessment framework for development processes of safety-critical system functions applied to a model-based safety-critical middleware [J]. 2020 AIAA/IEEE 39TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC) PROCEEDINGS, 2020,
- [8] Development of safety-critical systems and model-based risk analysis with UML [J]. DEPENDABLE COMPUTING, 2003, 2847 : 364 - 365
- [10] Integrating Safety Certification into Model-based Testing of Safety-critical Systems [J]. 2019 IEEE 30TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2019, : 250 - 260