Modeling of a Monitoring Scheme for TMO Model-based Real-Time Systems

2006 ◽  
Author(s):  
Yoon-Seok Jeong ◽  
Tae-Wan Kim ◽  
Chun-Hyon Chang
Keyword(s):  
Real Time ◽  
Real Time Systems ◽  
Monitoring Scheme ◽  
Model Based ◽  
Time Systems

Separation of Concerns in Model-Based Development of Distributed Real-Time Systems

2010 ◽  
pp. 147-170
Author(s):  
Dionisio de Niz ◽  
Gaurav Bhatia ◽  
Raj Rajkumar
Keyword(s):  
Real Time ◽  
Fault Tolerant ◽  
Point Of View ◽  
Functional Structure ◽  
Real Time Systems ◽  
Functional Requirements ◽  
Model Based ◽  
Event Flow ◽  
Glue Code ◽  
Time Systems

Software is increasingly being used to enable new features in systems in multiple domains. These domains include automotive, avionics, telecomunication, and industrial automation. Because the user of these systems is not aware of the presence of the software, this type of software is known as embedded software. More importantly, such a software, and the whole system in general, must satisfy not only logical functional requirements but also parafunctional (a.k.a. nonfunctional) properties such as timeliness, security, and reliability. Traditional development languages and tools provide powerful abstractions such as functions, classes, and objects to build a functional structure that reduces complexity and enables software reuse. However, the software elements responsible for the parafunctional behaviors are frequently scattered across the functional structure. This scattering prevents the easy identification of these elements and their independent manipulation/reuse to achieve a specific parafunctional behavior. As a result, the complexity of parafunctional behaviors cannot be reduced and even worse, the construction of those behaviors can corrupt the functional structure of the software. In this chapter, we propose a model-based framework for designing embedded real-time systems to enable a decomposition structure that reduces the complexity of both functional and parafunctional aspects of the software. This decomposition enables the separation of the functional and parafunctional aspects of the system into semantic dimensions (e.g., event-flow, timing, deployment, fault-tolerant) that can be represented, manipulated, and modified independent of one another from an end-user point of view. The realizations of these dimensions, however, do interact on the target platform since they consume common resources and impose constraints. These interactions can be captured during model construction and resource demands mediated during platform deployment. The use of semantic dimensions results in three significant benefits. First of all, it preserves the independence of the functional structure from parafunctional behaviors. Secondly, it enables the user to manipulate different parafunctional concerns (e.g., timeliness, reliability) independent of one another. Lastly, it enables the reuse of compositions along any dimension from other systems. The second core abstraction in our modeling approach is an entity called a coupler. A coupler expresses a particular relationship between two or more components, and can also be used recursively. Couplers enable the hierarchical decomposition of functional as well as parafunctional aspects. Aided by semantic dimensions and multiple coupler types, our framework enables the auto-generation of glue code to produce a fully deployable system. Our framework can also construct a detailed timing and resource model. This model in turn is used to optimize the usage of a given hardware configuration, or synthesize a configuration to suit a given software model. Our framework is implemented in a tool (de Niz, Bhatia & Rajkumar 2006) called SysWeaver that had been used to generate glue code and analyze the timing behavior of avionics, automotive, and software-radio pilot systems.

Model-Based Development of Distributed Embedded Real-Time Systems with the DECOS Tool-Chain

2007 ◽  
Author(s):  
Wolfgang Herzner ◽  
Rupert Schlick ◽  
Martin Schlager ◽  
Bernhard Leiner ◽  
Bernhard Huber ◽  
...  
Keyword(s):  
Real Time ◽  
Real Time Systems ◽  
Tool Chain ◽  
Model Based ◽  
Time Systems
Sign in / Sign up

Export Citation Format

Share Document