Towards the systematic analysis of non-functional properties in Model-Based Engineering for real-time embedded systems

Science of Computer Programming ◽

10.1016/j.scico.2017.12.007 ◽

2018 ◽

Vol 156 ◽

pp. 1-20 ◽

Author(s):

Guillaume Brau ◽

Jérôme Hugues ◽

Nicolas Navet

Keyword(s):

Embedded Systems ◽

Real Time ◽

Functional Properties ◽

Systematic Analysis ◽

Download Full-text

Model-based synthesis for real-time embedded systems

2014 IEEE 57th International Midwest Symposium on Circuits and Systems (MWSCAS) ◽

10.1109/mwscas.2014.6908428 ◽

2014 ◽

Author(s):

Qi Zhu

Keyword(s):

Embedded Systems ◽

Real Time ◽

Download Full-text

Model-Based Design of Time-Triggered Real-Time Embedded systems for industrial automation

2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA) ◽

10.1109/etfa.2015.7301522 ◽

2015 ◽

Author(s):

Jiang Wan ◽

Arquimedes Canedo ◽

Mohammad Abdullah Al Faruque

Keyword(s):

Embedded Systems ◽

Real Time ◽

Industrial Automation ◽

Download Full-text

A model based approach for debugging embedded systems in real-time

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

10.1145/1879021.1879031 ◽

2010 ◽

Author(s):

Padma Iyenghar ◽

Clemens Westerkamp ◽

Juergen Wuebbelmann ◽

Elke Pulvermueller

Keyword(s):

Embedded Systems ◽

Real Time ◽

Download Full-text

Model-based design of time-triggered real-time embedded systems for digital manufacturing

Proceedings of the 18th International Conference on Hybrid Systems Computation and Control - HSCC '15 ◽

10.1145/2728606.2728651 ◽

2015 ◽

Author(s):

Jiang Wan ◽

Arquimedes Canedo ◽

Mohammad Al Faruque

Keyword(s):

Embedded Systems ◽

Real Time ◽

Digital Manufacturing ◽

Download Full-text

Towards Accurate Monitoring of Extra-Functional Properties in Real-Time Embedded Systems

2012 19th Asia-Pacific Software Engineering Conference ◽

10.1109/apsec.2012.42 ◽

2012 ◽

Author(s):

Mehrdad Saadatmand ◽

Mikael Sjodin

Keyword(s):

Embedded Systems ◽

Real Time ◽

Functional Properties

Download Full-text

Development of new model-based adaptive predictive control algorithms and their implementation on real-time embedded systems

10.12681/eadd/25318 ◽

2011 ◽

Author(s):

Vincent Akpan

Keyword(s):

Embedded Systems ◽

Real Time ◽

Predictive Control ◽

Control Algorithms ◽

New Model ◽

Model Based ◽

Adaptive Predictive Control

Download Full-text

MoPED: A Model-Based Provisioning Engine for Dependability in Component-Based Distributed Real-Time Embedded Systems

2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems ◽

10.1109/ecbs.2011.35 ◽

2011 ◽

Author(s):

Sumant Tambe ◽

Akshay Dabholkar ◽

Aniruddha Gokhale

Keyword(s):

Embedded Systems ◽

Real Time ◽

Download Full-text

Model based self adaptive behavior language for large scale real time embedded systems

Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004. ◽

10.1109/ecbs.2004.1316736 ◽

2004 ◽

Author(s):

S. Shetty ◽

S. Neema ◽

T. Bapty

Keyword(s):

Embedded Systems ◽

Real Time ◽

Adaptive Behavior ◽

Large Scale ◽

Model Based ◽

Download Full-text

Combining Search-Based and Adaptive Random Testing Strategies for Environment Model-Based Testing of Real-Time Embedded Systems

Search Based Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-33119-0_11 ◽

2012 ◽

pp. 136-151 ◽

Author(s):

Muhammad Zohaib Iqbal ◽

Andrea Arcuri ◽

Lionel Briand

Keyword(s):

Embedded Systems ◽

Real Time ◽

Random Testing ◽

Model Based ◽

Environment Model ◽

Testing Strategies ◽

Model Based Testing ◽

Adaptive Random Testing

Download Full-text

A model-based testing technique for component-based real-time embedded systems

2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) ◽

10.1109/icstw.2015.7107407 ◽

2015 ◽

Author(s):

Jing Guan ◽

Jeff Offutt

Keyword(s):

Embedded Systems ◽

Real Time ◽

Testing Technique ◽

Model Based ◽

Model Based Testing

Download Full-text