Run-Time Monitoring and Trace Analysis Methodology for Component-based Embedded Systems Design Flow
Autor: | Giacomo Valente, Vittoriano Muttillo, Javier Merino, Hector Posadas, Luigi Pomante, Eugenio Villar |
---|---|
Rok vydání: | 2020 |
Předmět: |
Source code
Computer science media_common.quotation_subject Design flow 02 engineering and technology cyber-physical systems embedded system Unified Modeling Language Component (UML) 0202 electrical engineering electronic engineering information engineering Use case Reference architecture design methodologies validation monitoring traces computer.programming_language media_common TRACE (psycholinguistics) business.industry Cyber-physical system 020202 computer hardware & architecture 020201 artificial intelligence & image processing Software engineering business computer |
Zdroj: | DSD |
Popis: | The purpose of this paper is to introduce run time monitoring infrastructures and to analyze trace data inside a well-established component-based methodology. The goal is to show the concept among different monitoring requirements by defining a general reference architecture that can be adapted to different scenarios. Starting from design artifacts, generated by a system engineering modeling tool, and source code automatically generated from UML models, a custom Hardware monitoring sub-system infrastructure will be presented. This sub-system will be able to generate run-time artifacts for run-time verification. We will show how the framework provides round-trip support in the development chain, injecting monitoring requirements from design models down to code and its execution on the platform and trace data back to the models, where the expected behavior will then be compared with the actual behavior. This approach will be used towards optimizing design models for specific properties (e.g, for system performance), using a specific constraint approach compliant with UML standards. Industrial and custom use cases will be used to demonstrate the effectiveness of this approach in real scenarios. |
Databáze: | OpenAIRE |
Externí odkaz: |