共 50 条
- [1] Development of Safety Process in Model-Based Design Platform for Safety-Critical Systems 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 ATP EDITION, 2012, (7-8): : 60 - 66
- [3] A Model-Based Design Methodology with Contracts to Enhance the Development Process of Safety-Critical Systems SOFTWARE TECHNOLOGIES FOR EMBEDDED AND UBIQUITOUS SYSTEMS, 2010, 6399 : 59 - +
- [4] Generic Process Framework for Safety-Critical Software in a Weapon System COMPUTER APPLICATIONS FOR DATABASE, EDUCATION, AND UBIQUITOUS COMPUTING, 2012, 352 : 92 - +
- [6] A Process-oriented Build Tool for Safety-critical Model-based Software Development 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 2020 AIAA/IEEE 39TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC) PROCEEDINGS, 2020,
- [8] Development of safety-critical systems and model-based risk analysis with UML DEPENDABLE COMPUTING, 2003, 2847 : 364 - 365
- [10] Integrating Safety Certification into Model-based Testing of Safety-critical Systems 2019 IEEE 30TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2019, : 250 - 260