Systematic model-based testing of embedded control software: the MB

"Software Engineering for Automotive Systems" Workshop W14S - 26th International Conference on Software Engineering ◽

10.1049/ic:20040335 ◽

2004 ◽

Cited By ~ 5

Author(s):

M. Conrad

Keyword(s):

Control Software ◽

Embedded Control ◽

Model Based ◽

Model Based Testing

Download Full-text

Model-based design of embedded control software for hybrid vehicles

2011 6th IEEE International Symposium on Industrial and Embedded Systems ◽

10.1109/sies.2011.5953684 ◽

2011 ◽

Cited By ~ 1

Author(s):

Tizar Rizano ◽

Roberto Passerone ◽

David Macii ◽

Luigi Palopoli

Keyword(s):

Hybrid Vehicles ◽

Control Software ◽

Embedded Control ◽

Model Based

Download Full-text

Large Scale Embedded Control Software Architecture with Model Based Design

10.4271/2012-01-2034 ◽

2012 ◽

Cited By ~ 2

Author(s):

Xiaopeng Fang ◽

Jim Wild

Keyword(s):

Software Architecture ◽

Large Scale ◽

Control Software ◽

Embedded Control ◽

Model Based

Download Full-text

On model based synthesis of embedded control software

Proceedings of the tenth ACM international conference on Embedded software - EMSOFT '12 ◽

10.1145/2380356.2380398 ◽

2012 ◽

Cited By ~ 7

Author(s):

Vadim Alimguzhin ◽

Federico Mari ◽

Igor Melatti ◽

Ivano Salvo ◽

Enrico Tronci

Keyword(s):

Control Software ◽

Embedded Control ◽

Model Based

Download Full-text

Task construction for model-based design of embedded control software

IEEE Transactions on Software Engineering ◽

10.1109/tse.2006.39 ◽

2006 ◽

Vol 32 (4) ◽

pp. 254-264 ◽

Cited By ~ 23

Author(s):

S. Wang ◽

K.G. Shin

Keyword(s):

Control Software ◽

Embedded Control ◽

Model Based

Download Full-text

Key Considerations in the Translation of Legacy Embedded Control Software to Model Based Executable Specifications

IEEE International Symposium on Intelligent Control ◽

10.1109/cca.2006.285927 ◽

2006 ◽

Author(s):

DeJiu Chen ◽

M. Torngren ◽

Jianlin Shi ◽

S. Gerard ◽

H. Lonn ◽

...

Keyword(s):

Control Software ◽

Embedded Control ◽

Model Based ◽

Executable Specifications

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

Model-Based Auto Coding of Embedded Control Software with Full Semantics

Model and Data Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-33609-6_2 ◽

2012 ◽

pp. 2-2

Author(s):

Eric Féron

Keyword(s):

Control Software ◽

Embedded Control ◽

Model Based

Download Full-text

Model-Based Engineering of Embedded Control Software

Fourth Workshop on Model-Based Development of Computer-Based Systems and Third International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MBD-MOMPES'06) ◽

10.1109/mbd-mompes.2006.18 ◽

2006 ◽

Cited By ~ 1

Author(s):

B. Schatz

Keyword(s):

Control Software ◽

Embedded Control ◽

Model Based

Download Full-text

Key considerations in the translation of legacy embedded control software to Model Based Executable Specifications

10.1109/cacsd-cca-isic.2006.4776703 ◽

2006 ◽

Cited By ~ 4

Author(s):

Michael Baloh ◽

Gopal Raghav ◽

Shiva Sivashankar

Keyword(s):

Control Software ◽

Embedded Control ◽

Model Based ◽

Executable Specifications

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