REMES tool-chain: a set of integrated tools for behavioral modeling and analysis of embedded systems
| Autor: | Dinko Ivanov, Marin Orlić, Aneta Vulgarakis, Cristina Seceleanu |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2010 |
| Předmět: |
050210 logistics & transportation
business.industry Computer science 05 social sciences 0102 computer and information sciences 01 natural sciences Automaton Behavioral modeling Set (abstract data type) Transformation (function) Resource (project management) Chain (algebraic topology) 010201 computation theory & mathematics Embedded system 0502 economics and business Component-based software engineering embedded systems component-based software engineering behavioral modeling formal analysis simulation business |
| Zdroj: | ASE |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|