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

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 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

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

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 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

A High Dependability Framework for Real-Time Embedded Control Software Design

2009 International Symposium on Computer Network and Multimedia Technology ◽

10.1109/cnmt.2009.5374639 ◽

2009 ◽

Author(s):

Jing Zhang ◽

Hui Rong ◽

Chunhong Zhang ◽

Jing Lu ◽

Feng Yan ◽

...

Keyword(s):

Real Time ◽

Software Design ◽

Control Software ◽

Embedded Control ◽

High Dependability

Download Full-text

Embedded Control System Development Process: Model-Based Design and Architecture Basics

Practical Control of Electric Machines - Advances in Industrial Control ◽

10.1007/978-3-030-34758-1_1 ◽

2020 ◽

pp. 1-26

Author(s):

Rubén Molina Llorente

Keyword(s):

Control System ◽

Process Model ◽

Development Process ◽

System Development ◽

Embedded Control ◽

Embedded Control System ◽

Model Based

Download Full-text