共 50 条
- [1] 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 - +
- [2] Model-based software development - A Process for safety-critical embedded Systems [J]. ATP EDITION, 2012, (7-8): : 60 - 66
- [4] Model-based design, analysis and assessment framework for safety-critical systems [J]. 51ST ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS - SUPPLEMENTAL VOL (DSN 2021), 2021, : 25 - 26
- [5] Development of safety-critical systems and model-based risk analysis with UML [J]. DEPENDABLE COMPUTING, 2003, 2847 : 364 - 365
- [7] 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
- [8] Model-Based Validation of Safety-Critical Embedded Systems [J]. 2010 IEEE AEROSPACE CONFERENCE PROCEEDINGS, 2010,
- [9] Towards formalized model-based requirements for a seamless design approach in safety-critical systems development [J]. 2015 IEEE 18th International Symposium on Real-Time Distributed Computing Workshops, 2015, : 111 - 115
- [10] 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