A component-based specification approach for embedded systems using FDTs

Guerrouat, Abdelaziz; Richter, H.

doi:10.1145/1123058.1123073

Cited by 4 publications

(2 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In this approach, a state transition is triggered either by the invocation of a standard component method, or by the component processing an external event. While FSM approaches are used in the formal specification of realtime and embedded systems [16], their use to specify interactions using both standard method invocation and asynchronous events remain to be fully explored.…”

Section: Event Interaction Descriptionmentioning

confidence: 99%

Extending the concept of component interfaces

Foley

Elwasif

Bernholdt

et al. 2009

Proceedings of the 2009 Workshop on Component-Based High Performance Computing

View full text Add to dashboard Cite

In the component approach, components are said to interact through well-defined interfaces. Conventionally, these interfaces are based on method signatures which define the syntax, if not the semantics of the interface. However in many cases, this does not encompass all of the interactions a component has with its peers. In the Integrated Plasma Simulator (IPS), a framework for coupled simulation of fusion plasmas developed by the Center for Simulation of RF Wave Interactions with Magnetohydrodynamics (SWIM), we find that components interact through files and through an event service in addition to the usual method calls. In this report, we discuss the motivations for the design of the IPS and our experience with it. We further consider whether the concept of a component interface needs to be extended, and how it might be done.

show abstract

Section: Event Interaction Descriptionmentioning

confidence: 99%

Extending the concept of component interfaces

Foley

Elwasif

Bernholdt

et al. 2009

Proceedings of the 2009 Workshop on Component-Based High Performance Computing

View full text Add to dashboard Cite

show abstract

“…Given a transition out-going from a state, the transition is fired, bringing the machine from the current state to the next state and performing the operation included in the update function, once the conditions involved in the enabling function are all satisfied. The EFSM model is widely used for modeling complex systems like reactive systems [22], communication protocols [23], buses [24] and controllers driving data-path [25].…”

Section: The Efsm Modelmentioning

confidence: 99%

A Mutation Model for the SystemC TLM 2.0 Communication Interfaces

Bombieri¹,

Fummi²,

Pravadelli³

2008

2008 Design, Automation and Test in Europe

View full text Add to dashboard Cite

Mutation analysis is a widely-adopted strategy in software testing with two main purposes: measuring the quality of test suites, and identifying redundant code in programs. Similar approaches are applied in hardware verification and testing too, especially at RTL or gate level, where mutants are generally referred as faults, and mutation analysis is performed by means of fault modeling and fault simulation. However, in modern embedded systems there is a close integration between HW and SW parts, and verification strategies should be applied early in the design flow. This requires the definition of new mutation analysis-based strategies that work at system level, where HW and SW functionalities are not partitioned yet. In this context, the paper proposes a mutation model for perturbing transaction level modeling (TLM) SystemC descriptions. In particular, the main constructs provided by the SystemC TLM 2.0 library have been analyzed, and a set of mutants is proposed to perturb the primitives related to the TLM communication interfaces. Related worksSeveral approaches [8-13], empirical studies [14] and frameworks [15, 16] have been presented in the literature for 978-3-9810801-3-1/DATE08

show abstract