A Formal Component Framework for Distributed Embedded Systems

Angelov, Christo; Sierszecki, Krzysztof; Marian, Nicolae; Ma, Jinpeng

doi:10.1007/11783565_15

Cited by 5 publications

(8 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It can be shown that such an actor has a synchronous execution semantics (D = 0), whereas the terminal actor has a clocked synchronous semantics (D = D trans ), i.e. it inherits the end-to-end deadline of the transaction, such that its output signals are generated at the transaction deadline instant [9]. Fig.…”

Section: Modelling Actor Behaviour With Interface Automatamentioning

confidence: 99%

“…It extends the original model to sets of application tasks (actors) executing transactions in single-computer or distributed real-time environments. A denotational specification of that model is given in [9], where system operation is described by means of composite functions specifying signal transformations from input signals to output signals, taking into account the constant delay from sampling to actuation. However, a precise operational specification is still missing.…”

Section: Introductionmentioning

confidence: 99%

“…1). DTM extends Timed Multitasking to distributed real-time systems in the context of communicating actors and transparent signal-based communication [9].…”

Section: Distributed Timed Multitasking: An Informal Introductionmentioning

confidence: 99%

“…An actor consists of a signal processing unit (SPU) operating in conjunction with I/O latches, which are composed of input and output signal drivers, respectively [9]. The input latch is used to receive incoming signals and decompose them into local variables that are processed by the SPU.…”

Section: Distributed Timed Multitasking: An Informal Introductionmentioning

confidence: 99%

See 3 more Smart Citations

Specification of Embedded Control Systems Behaviour Using Actor Interface Automata

Angelov

Zhou

Sierszecki

2010

Software Technologies for Embedded and Ubiquitous Systems

Self Cite

View full text Add to dashboard Cite

Abstract. Distributed Timed Multitasking (DTM) is a model of computation describing the operation of hard real-time embedded control systems. With this model, an application is conceived as a network of distributed embedded actors that communicate with one another by exchanging labeled messages (signals), independent of their physical allocation. Input and output signals are exchanged with the controlled plant at precisely specified time instants, which provides for a constant delay from sampling to actuation and the elimination of I/O jitter. The paper presents an operational specification of DTM in terms of actor interface automata, whereby a distributed control system is modeled as a set of communicating interface automata executing distributed transactions. The above modeling technique has implications for system design, since interface automata can be used as design models that can be implemented as application or operating system components. It has also implications for system analysis, since actor interface automata are essentially timed automata that can be used as analysis models in model checking tools and simulation environments.

show abstract

Section: Modelling Actor Behaviour With Interface Automatamentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

“…1). DTM extends Timed Multitasking to distributed real-time systems in the context of communicating actors and transparent signal-based communication [9].…”

Section: Distributed Timed Multitasking: An Informal Introductionmentioning

confidence: 99%

Section: Distributed Timed Multitasking: An Informal Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Specification of Embedded Control Systems Behaviour Using Actor Interface Automata

Angelov

Zhou

Sierszecki

2010

Software Technologies for Embedded and Ubiquitous Systems

Self Cite

View full text Add to dashboard Cite

show abstract

“…Most of the existing methods [1] [2] [3] are for computing subsystem, such as AADL and SysML, but seldom focus on the mechanical and electrical subsystem domain, especially the model describing the behavior in a domain-specific way. CAD applied in the mechanical and electrical subsystem field also offers a dynamics simulation environment, but it only focuses on the simulation and analysis of any specific physical parameters, rather than the abstract description about the relationship of the physical effect implemented by the behaviors to the materials, which is too difficult for designers.…”

Section: Introductionmentioning

confidence: 99%

A Physical-Effect-Considered Formalized Modeling for Pipelined Manufacturing Machining System

Qi²

2015

Proceedings of the 3rd International Conference on Material, Mechanical and Manufacturing Engineering

View full text Add to dashboard Cite

New stage of global industry is coming with the new requirements to the IACS (Industry Automation Control System), e.g. flexible manufacturing, small batch and customized production.So far, most of IACS modeling methodologies are concerning on the description to specified domain of computing subsystem, e.g. the architecture of computing hardware and software. In this paper, a physical-effect-considered formal modeling method for pipelined manufacturing machine is addressed. The formalism can be used to not only drive valid control and cooperation of different modules, but also validate the solution of sequence of operation planning (SOP) in the design phase.

show abstract

Model-driven embedded systems design environment for the industrial automation sector

Strasser

Sünder

Valentini³

2008

2008 6th IEEE International Conference on Industrial Informatics

View full text Add to dashboard Cite

The aim of this paper is to describe a model-driven embedded systems design approach which is applied to Industrial Automation and Control Systems (IACS). Therefore, an overview on existing model-driven approaches is given and their applicability for IACS is discussed. The special requirements of the industrial automation sector are taken into account by a novel architecture, utilizing existing model-driven techniques. This approach is the basis for the FP7 research project MEDEIA. II. EXISTING WORK ON MODEL-DRIVEN EMBEDDED SYSTEMS DESIGNA model-driven embedded systems design can be divided into the following three important technologies: A. Model-Driven Architecture (MDA)The MDA [23] emerged out of the UML effort for separation of specification and implementation on a specific platform [30]. This approach is well known in most engineering disciplines [29]. Using models in the system engineering process has two major impacts, first improved productivity and second reducing the sensitivity to changes [7]. In the MDA framework a system is specified by three models The Computation Independent Model

show abstract

A Formal Component Framework for Distributed Embedded Systems

Cited by 5 publications

References 9 publications

Specification of Embedded Control Systems Behaviour Using Actor Interface Automata

Specification of Embedded Control Systems Behaviour Using Actor Interface Automata

A Physical-Effect-Considered Formalized Modeling for Pipelined Manufacturing Machining System

Model-driven embedded systems design environment for the industrial automation sector

Contact Info

Product

Resources

About