FMI for Co-Simulation of Embedded Control Software

The First Japanese Modelica Conferences, May 23-24, Tokyo, Japan ◽

10.3384/ecp1612470 ◽

2016 ◽

Cited By ~ 4

Author(s):

Nicolai Pedersen ◽

Tom Bojsen ◽

Jan Madsen ◽

Morten Vejlgaard-Laursen

Keyword(s):

Control Software ◽

Embedded Control

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

Design support and tooling for dependable embedded control software

Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems - SERENCE '10 ◽

10.1145/2401736.2401745 ◽

2010 ◽

Cited By ~ 6

Author(s):

J. F. Broenink ◽

C. Kleijn ◽

P. G. Larsen ◽

D. Jovanovic ◽

M. Verhoef ◽

...

Keyword(s):

Control Software ◽

Embedded Control ◽

Design Support

Download Full-text

Experiences in Designing and Using Formal Specification Languages for Embedded Control Software

Hybrid Systems: Computation and Control - Lecture Notes in Computer Science ◽

10.1007/3-540-46430-1_2 ◽

2000 ◽

pp. 3-3 ◽

Cited By ~ 2

Author(s):

Nancy G. Leveson

Keyword(s):

Formal Specification ◽

Specification Languages ◽

Control Software ◽

Embedded Control

Download Full-text

Study on the Performance Modeling Approach for Automotive Embedded Control Software

Lecture Notes in Electrical Engineering - Proceedings of the FISITA 2012 World Automotive Congress ◽

10.1007/978-3-642-33829-8_36 ◽

2012 ◽

pp. 385-391

Author(s):

Xiaofeng Yin ◽

Jingxing Tan ◽

Xiuting Wu ◽

Qichang Yang

Keyword(s):

Performance Modeling ◽

Control Software ◽

Embedded Control ◽

Modeling Approach

Download Full-text

Virtual prototyping of embedded control software in mechatronic systems: A case study

Mechatronics ◽

10.1016/j.mechatronics.2017.03.004 ◽

2017 ◽

Vol 43 ◽

pp. 99-111 ◽

Cited By ~ 4

Author(s):

Alessandro Beghi ◽

Fabio Marcuzzi ◽

Paolo Martin ◽

Fabio Tinazzi ◽

Mauro Zigliotto

Keyword(s):

Virtual Prototyping ◽

Control Software ◽

Mechatronic Systems ◽

Embedded Control

Download Full-text

An experience in embedded control software verification

2009 IEEE Conference on Emerging Technologies & Factory Automation ◽

10.1109/etfa.2009.5347235 ◽

2009 ◽

Author(s):

Pierluigi Rolando ◽

Riccardo Sisto

Keyword(s):

Software Verification ◽

Control Software ◽

Embedded Control

Download Full-text

Time-Triggered Architecture (TTA) in Industry Hard R-T Embedded Control Software Design

2007 Chinese Control Conference ◽

10.1109/chicc.2006.4347271 ◽

2006 ◽

Author(s):

Wang Bin ◽

Zhang Yunsheng ◽

Xiong Xin ◽

Wang Shuai

Keyword(s):

Software Design ◽

Control Software ◽

Embedded Control

Download Full-text

Integration of Collaborative Analyses for Development of Embedded Control Software

Proceedings of the IEEE ◽

10.1109/jproc.2009.2039741 ◽

2010 ◽

Vol 98 (4) ◽

pp. 546-561 ◽

Cited By ~ 1

Author(s):

Sangsoo Park ◽

Kang Geun Shin ◽

Shige Wang

Keyword(s):

Control Software ◽

Embedded Control

Download Full-text

High Dependability Design Framework in Real-Time Embedded Control Software

2009 Second International Symposium on Computational Intelligence and Design ◽

10.1109/iscid.2009.283 ◽

2009 ◽

Author(s):

Jing Zhang ◽

Feng Yan ◽

Chunhong Zhang ◽

Hui Rong ◽

Fenghong Xiang

Keyword(s):

Real Time ◽

Design Framework ◽

Control Software ◽

Embedded Control ◽

High Dependability

Download Full-text

Semantics-Preserving Design of Embedded Control Software from Synchronous Models

IEEE Transactions on Software Engineering ◽

10.1109/tse.2007.70718 ◽

2007 ◽

Vol 33 (8) ◽

pp. 497-509 ◽

Cited By ~ 4

Author(s):

Leonardo Mangeruca ◽

Massimo Baleani ◽

Alberto Ferrari ◽

Alberto Sangiovanni-Vincentelli

Keyword(s):

Control Software ◽

Embedded Control

Download Full-text