Model-Based Verification and Validation of Spacecraft Avionics

Model based verification and validation of digital controller performance of a developmental aero gas turbine engine

2017 Second International Conference on Electrical, Computer and Communication Technologies (ICECCT) ◽

10.1109/icecct.2017.8117985 ◽

2017 ◽

Author(s):

Vivekanand Sanjawadmath ◽

R. Suresh

Keyword(s):

Gas Turbine ◽

Gas Turbine Engine ◽

Verification And Validation ◽

Digital Controller ◽

Turbine Engine ◽

Model Based ◽

Controller Performance

Download Full-text

Verification and Validation of Meta-model based Transformation from SysML to VHDL-AMS

Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development ◽

10.5220/0004317601230128 ◽

2013 ◽

Keyword(s):

Verification And Validation ◽

Meta Model ◽

Model Based

Download Full-text

Model-based independent verification and validation for dependable flight software

2009 IEEE Aerospace conference ◽

10.1109/aero.2009.4839650 ◽

2009 ◽

Cited By ~ 2

Author(s):

Naohiko Kohtake ◽

Atsushi Katoh ◽

Naoki Ishihama ◽

Masafumi Katahira

Keyword(s):

Verification And Validation ◽

Model Based ◽

Independent Verification

Download Full-text

Increasing Efficiency of ISO 26262 Verification and Validation by Combining Fault Injection and Mutation Testing with Model based Development

Proceedings of the 8th International Joint Conference on Software Technologies ◽

10.5220/0004592002510257 ◽

2013 ◽

Keyword(s):

Fault Injection ◽

Mutation Testing ◽

Verification And Validation ◽

Iso 26262 ◽

Model Based

Download Full-text

Model-Based Verification and Validation of Properties

Electronic Notes in Theoretical Computer Science ◽

10.1016/s1571-0661(04)80752-7 ◽

2003 ◽

Vol 82 (7) ◽

pp. 133-150 ◽

Cited By ~ 10

Author(s):

Gregor Engels ◽

Jochen M. Küster ◽

Reiko Heckel ◽

Marc Lohmann

Keyword(s):

Verification And Validation ◽

Model Based

Download Full-text

Verification and Validation Approaches for Model-Based Software Engineering

2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) ◽

10.1109/models-c.2019.00080 ◽

2019 ◽

Cited By ~ 1

Author(s):

Johann Schumann ◽

Katerina Goseva-Popstojanova

Keyword(s):

Software Engineering ◽

Verification And Validation ◽

Model Based

Download Full-text

Harmonization of IEEE 1012 and IEC 60880 standards regarding verification and validation of nuclear power plant safety systems software using model-based methodology

Progress in Nuclear Energy ◽

10.1016/j.pnucene.2017.04.003 ◽

2017 ◽

Vol 99 ◽

pp. 86-95

Author(s):

Stanislav Rudakov ◽

Charles E. Dickerson

Keyword(s):

Power Plant ◽

Nuclear Power Plant ◽

Nuclear Power ◽

Verification And Validation ◽

Model Based ◽

Plant Safety ◽

Systems Software ◽

Nuclear Power Plant Safety ◽

Safety Systems

Download Full-text

Model based verification of Electronic Control Unit (ECU) in high lift systems: Verification and validation

2017 IEEE International Systems Engineering Symposium (ISSE) ◽

10.1109/syseng.2017.8088318 ◽

2017 ◽

Author(s):

Umer Farooq

Keyword(s):

Electronic Control Unit ◽

Control Unit ◽

Verification And Validation ◽

Electronic Control ◽

High Lift ◽

Model Based

Download Full-text

Model-Based Verification and Validation of Safety-Critical Embedded Real-Time Systems: Formation and Tools

Embedded and Real Time System Development: A Software Engineering Perspective - Studies in Computational Intelligence ◽

10.1007/978-3-642-40888-5_6 ◽

2013 ◽

pp. 153-183 ◽

Cited By ~ 2

Author(s):

Arsalan H. Khan ◽

Zeashan H. Khan ◽

Zhang Weiguo

Keyword(s):

Real Time ◽

Verification And Validation ◽

Real Time Systems ◽

Safety Critical ◽

Model Based ◽

Time Systems

Download Full-text

Model-Based Verification and Validation of Electronic Engine Controls

10.4271/2012-01-0961 ◽

2012 ◽

Cited By ~ 2

Author(s):

Kenneth Roy Butts ◽

Vivek Jaikamal

Keyword(s):

Verification And Validation ◽

Model Based

Download Full-text