Robustness Testing of Satellite Attitude and Orbit Control Systems: A Proposal Guided by Two Model Based Testing Methodologies

2013 III Brazilian Symposium on Computing Systems Engineering ◽

10.1109/sbesc.2013.40 ◽

2013 ◽

Author(s):

Andre Corsetti ◽

Ana Maria Ambrosio ◽

Maria de Fatima Mattiello-Francisco

Keyword(s):

Control Systems ◽

Robustness Testing ◽

Model Based ◽

Orbit Control ◽

Satellite Attitude ◽

Model Based Testing

Download Full-text

Hybrid Online Model-Based Testing for Communication-Based Train Control Systems

IEEE Intelligent Transportation Systems Magazine ◽

10.1109/mits.2018.2842230 ◽

2018 ◽

Vol 10 (3) ◽

pp. 35-47 ◽

Cited By ~ 1

Author(s):

Yuemiao Wang ◽

Lei Chen ◽

David Kirkwood ◽

Peng Fu ◽

Jidong Lv ◽

...

Keyword(s):

Control Systems ◽

Train Control ◽

Model Based ◽

Model Based Testing

Download Full-text

A New Architecture for the Simulation and Testing of Satellite Attitude and Orbit Control Systems. Hardware and Software Description

IFAC Proceedings Volumes ◽

10.1016/s1474-6670(17)48870-7 ◽

1993 ◽

Vol 26 (2) ◽

pp. 929-932 ◽

Cited By ~ 1

Author(s):

P.G. Milani

Keyword(s):

Control Systems ◽

Orbit Control ◽

Satellite Attitude

Download Full-text

201 A new architecture for the simulation and testing of satellite attitude and orbit control systems. Hardware and software description

Control Engineering Practice ◽

10.1016/0967-0661(94)90553-3 ◽

1994 ◽

Vol 2 (5) ◽

pp. 917

Keyword(s):

Control Systems ◽

Orbit Control ◽

Satellite Attitude

Download Full-text

Using Model-Based Testing for Manufacturing and Integration-Testing of Embedded Control Systems

2016 Euromicro Conference on Digital System Design (DSD) ◽

10.1109/dsd.2016.13 ◽

2016 ◽

Cited By ~ 1

Author(s):

Tobias Rauter ◽

Andrea Holler ◽

Johannes Iber ◽

Christian Kreiner

Keyword(s):

Control Systems ◽

Integration Testing ◽

Embedded Control ◽

Embedded Control Systems ◽

Model Based ◽

Model Based Testing

Download Full-text

Environment-Model Based Testing of Control Systems: Case Studies

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-54862-8_55 ◽

2014 ◽

pp. 636-650 ◽

Cited By ~ 4

Author(s):

Erwan Jahier ◽

Simplice Djoko-Djoko ◽

Chaouki Maiza ◽

Eric Lafont

Keyword(s):

Control Systems ◽

Case Studies ◽

Model Based ◽

Environment Model ◽

Model Based Testing

Download Full-text

MODEL-BASED DESIGN AND HARDWARE-IN-THE-LOOP SIMULATION OF INTERNAL COMBUSTION ENGINE CONTROL SYSTEMS

10.37099/mtu.dc.etd-restricted/254 ◽

2013 ◽

Author(s):

Pushkar Vivek Agashe

Keyword(s):

Internal Combustion Engine ◽

Control Systems ◽

Combustion Engine ◽

Internal Combustion ◽

Engine Control ◽

Hardware In The Loop ◽

Model Based

Download Full-text

Model-Based Testing for Web Applications

Chinese Journal of Computers ◽

10.3724/sp.j.1016.2011.01012 ◽

2011 ◽

Vol 34 (6) ◽

pp. 1012-1028 ◽

Cited By ~ 6

Author(s):

Huai-Kou MIAO ◽

Sheng-Bo CHEN ◽

Hong-Wei ZENG

Keyword(s):

Web Applications ◽

Model Based ◽

Model Based Testing

Download Full-text

Model-based testing of software product lines: Mapping study and research roadmap

Journal of Systems and Software ◽

10.1016/j.jss.2020.110608 ◽

2020 ◽

Vol 167 ◽

pp. 110608

Author(s):

Kleber L. Petry ◽

Edson OliveiraJr ◽

Avelino F. Zorzo

Keyword(s):

Software Product Lines ◽

Mapping Study ◽

Product Lines ◽

Model Based ◽

Model Based Testing ◽

Software Product

Download Full-text

AI-Based Enhancement of Test Models in an Industrial Model-Based Testing Tool

2021 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) ◽

10.1109/saner50967.2021.00080 ◽

2021 ◽

Author(s):

Stefan Mohacsi ◽

Michael Felderer

Keyword(s):

Model Based ◽

Test Models ◽

Model Based Testing ◽

Testing Tool

Download Full-text

Multi-objective Search for Model-based Testing

2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS) ◽

10.1109/qrs51102.2020.00029 ◽

2020 ◽

Author(s):

Rui Wang ◽

Cyrille Artho ◽

Lars Michael Kristensen ◽

Volker Stolz

Keyword(s):

Multi Objective ◽

Model Based ◽

Model Based Testing

Download Full-text