QoS-oriented design of embedded systems with specification PEARL

Gumzej, Roman; Halang, Wolfgang A.

doi:10.1007/s11334-007-0033-0

Cited by 2 publications

(6 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Fig. 1) having the same properties, being assigned to the constructs as attributes, as their textual counterparts for use in the associated CAD tool [7]. A configuration division deals with a software architecture.…”

Section: Specification Pearl Language and Methodologymentioning

confidence: 99%

“…Figs. 4,7,14), also the local re-scheduling of the active tasks belonging to collections takes place. Here, also the previously mentioned getstate() and port transfer operations are serviced.…”

Section: Behavioural Modellingmentioning

confidence: 99%

“…All message transfer operations are acknowledged. A setstate signal, which is usually originating from a task, is forwarded to the reconfiguration manager, 4,7,14), which may transfer messages between tasks/collections at different stations using an appropriate physical communication protocol. When a task issues a port request, the appropriate port is looked up and its handle is returned, so the data can be written ("put") or extracted ("get") from the port's message buffer.…”

Section: Behavioural Modellingmentioning

confidence: 99%

See 2 more Smart Citations

A reconfiguration pattern for distributed embedded systems

2007

Self Cite

View full text Add to dashboard Cite

A reconfiguration pattern for UML-based projects of embedded (real-time) systems is defined. It enables to set up hardware/software configurations, and to specify conditions and methods for dynamic reconfiguration. The reconfiguration pattern was inspired by the reconfiguration management solution of the Specification PEARL methodology, which is based on the standard for Multiprocessor PEARL whose original idea it was to extend the language to enable the programming of distributed real-time applications in PEARL. In Specification PEARL, the possibility for abstract descriptions of hardware and software architectures and for defining mappings from software to hardware components has been enhanced in correspondence with the standard. Here, a UML pattern for reconfiguration management in distributed embedded applications based on concepts from Specification PEARL is presented. Its behavioural, structural and functional aspects are outlined. It addresses stereotype entities from the Specification PEARL language, which were joined in a UML profile, and outlines the related reconfiguration management mechanisms, which were carried over to the mentioned UML pattern. The proposed reconfiguration pattern is to facilitate the development of distributed embedded application in UML with consistent and Communicated by Prof. Dorina Petriu. R. Gumzej (B) · M. Colnarič

show abstract

Section: Specification Pearl Language and Methodologymentioning

confidence: 99%

Section: Behavioural Modellingmentioning

confidence: 99%

Section: Behavioural Modellingmentioning

confidence: 99%

See 1 more Smart Citation

A reconfiguration pattern for distributed embedded systems

2007

Self Cite

View full text Add to dashboard Cite

show abstract

“…A system model is built and can be checked for coherence with the Specification PEARL methodology by running the associated CAD tools (cp. Gumzej, 2004). For more information on the constructs, their properties and notation of the Specification PEARL language cp.…”

Section: Specification Pearl Methodologymentioning

confidence: 99%

“…For easier interpretation/compilation of program tasks in/to the simulation/target platform environments, in the current implementation of the Specification PEARL codesign environment (Gumzej, 2004). the annotated C programming language is used.…”

Section: Fig 5 Representations Of a Tstd In Pearl And Annotated Cmentioning

confidence: 99%

Modeling distributed real-time applications with specification PEARL

Gumzej

2006

Real-Time Syst

Self Cite

View full text Add to dashboard Cite

The methodology of hardware/software co-design of embedded control systems with Specification PEARL is presented. Hardware and software are modeled with the language Specification PEARL, which has its origins in standard Multiprocessor PEARL. Its usefulness is enhanced for modeling hierarchical and asymmetrical multiprocessor systems, and by additional parameters for schedulability analysis. Graphical symbols are introduced for its constructs to enable graphical modeling while maintaining the semantical background. It is meant to be a superlayer for programs, based on the PEARL programming model. To model program tasks, Timed State Transition Diagrams have been defined. The model of a co-designed system is verified for feasibility with co-simulation. The resulting information should be used when considering changes in a current design with the goal of producing a temporally feasible model. To support dynamic re-configurations, configuration management is introduced into the models. Since UML is becoming a de facto standard also for designing embedded control systems, and since Timed State Transition Diagrams and State Chart Diagrams share great similarity, an interface of the methodology to UML 2 is defined, using UML's extension mechanisms.

show abstract

QoS-oriented design of embedded systems with specification PEARL

Cited by 2 publications

References 5 publications

A reconfiguration pattern for distributed embedded systems

A reconfiguration pattern for distributed embedded systems

Modeling distributed real-time applications with specification PEARL

Contact Info

Product

Resources

About