REMES tool-chain: a set of integrated tools for behavioral modeling and analysis of embedded systems

Authors:
Dinko Ivanov;Marin Orlić;Cristina Seceleanu;Aneta Vulgarakis
Affiliations:
University St. Kliment Ohridski, Sofia, Bulgaria;University of Zagreb, Zagreb, Croatia;Mälardalen University, Västerås, Sweden;Mälardalen University, Västerås, Sweden
Venue:
Proceedings of the IEEE/ACM international conference on Automated software engineering
Year:
2010

Citing 5
Cited 1

A theory of timed automata

Theoretical Computer Science
Giotto: A Time-Triggered Language for Embedded Programming

EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Minimum-Cost Reachability for Priced Timed Automata

HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Optimal Paths in Weighted Timed Automata

HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
REMES: A Resource Model for Embedded Systems

ICECCS '09 Proceedings of the 2009 14th IEEE International Conference on Engineering of Complex Computer Systems

Checking correctness of services modeled as priced timed automata

ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we present a tool-chain for the REMES language, which can be used for the construction and analysis of embedded system behavioral models. The tool-chain consists of the following tools: (i) a REMES editor for modeling behaviors of embedded components, (ii) a REMES simulator to test timing and resource behavior prior to formal analysis, and (iii) an automated transformation from REMES to Priced Timed Automata, needed for formal analysis.