ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
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
◽
Cited By ~ 12
Author(s):
Padma Iyenghar
◽
Clemens Westerkamp
◽
Juergen Wuebbelmann
◽
Elke Pulvermueller
Keyword(s):
Embedded Systems
◽
Real Time
◽
Model Based
Download Full-text
Related Documents
Cited By
References
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
◽
Model Based
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
◽
Model Based
Download Full-text
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
◽
Cited By ~ 6
Author(s):
Guillaume Brau
◽
Jérôme Hugues
◽
Nicolas Navet
Keyword(s):
Embedded Systems
◽
Real Time
◽
Functional Properties
◽
Systematic Analysis
◽
Model Based
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
◽
Cited By ~ 1
Author(s):
Jiang Wan
◽
Arquimedes Canedo
◽
Mohammad Al Faruque
Keyword(s):
Embedded Systems
◽
Real Time
◽
Digital Manufacturing
◽
Model Based
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
◽
Cited By ~ 1
Author(s):
Sumant Tambe
◽
Akshay Dabholkar
◽
Aniruddha Gokhale
Keyword(s):
Embedded Systems
◽
Real Time
◽
Model Based
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
◽
Cited By ~ 4
Author(s):
S. Shetty
◽
S. Neema
◽
T. Bapty
Keyword(s):
Embedded Systems
◽
Real Time
◽
Adaptive Behavior
◽
Large Scale
◽
Model Based
◽
Self Adaptive
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
◽
Cited By ~ 11
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
◽
Cited By ~ 8
Author(s):
Jing Guan
◽
Jeff Offutt
Keyword(s):
Embedded Systems
◽
Real Time
◽
Testing Technique
◽
Model Based
◽
Model Based Testing
Download Full-text
Real-Time Model-Based Demonstrator Control of an Electrical-Mechanical Power-Split Hybrid Drive for Diesel-Powered Commuter Trains
2020 23rd International Conference on Electrical Machines and Systems (ICEMS)
◽
10.23919/icems50442.2020.9290853
◽
2020
◽
Author(s):
Daniel Scharfenstein
◽
Stefan Gerken
◽
Stephan Schuller
◽
Markus Niesen
◽
Rik W. De Doncker
Keyword(s):
Real Time
◽
Mechanical Power
◽
Hybrid Drive
◽
Time Model
◽
Model Based
◽
Power Split
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close