Design and validation of industrial distributed control systems

Marcos, Marga; Gangoiti, Unai; Orive, D.; Estévez, Elisabet; Calvo, Silvia Hernando; Barandiarán, Javier Avilés

doi:10.1109/cdc.2004.1429536

Cited by 8 publications

(5 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…MARTE profile has been adopted as the OMG standard for modelling and analysis real-time embedded systems, which facilitates the specifying and analysis the time-related characteristics of systems. Research works such as [3] [4] and [5] focus on the modelling of real-time aspects using UML. However, they use UML 1.4 or earlier and lack the benefits obtainable from the enhanced features of MARTE1.0 [6].…”

Section: Introductionmentioning

confidence: 99%

Specifying Communication Behaviours between Components with Real-Time rCOS - A Case Study ATP

Xiong

2011

2011 IEEE 35th Annual Computer Software and Applications Conference Workshops

View full text Add to dashboard Cite

Specifying communication behaviours of components in real-time embedded systems is important to model and analyse system behaviours, especially for safety-critical systems. MARTE is adopted as the OMG standard for modelling real-time embedded systems, which provides a time model for modelling time-related characteristics of systems. According to the MARTE profile, we extend rCOS(a refinement calculus of object systems ) with real-time features to specify communication behaviours of components in systems. The communication behaviours modelled with real-time sequence diagrams will be specified with the protocol of component interface. A case study Automatic Train Protection (ATP) of Communication Based Train Control(CBTC) is discussed to illustrate the approach.

show abstract

Section: Introductionmentioning

confidence: 99%

Specifying Communication Behaviours between Components with Real-Time rCOS - A Case Study ATP

Xiong

2011

2011 IEEE 35th Annual Computer Software and Applications Conference Workshops

View full text Add to dashboard Cite

show abstract

“…In this paper this fact is illustrated by implementing AW and BT strategies in reusable FB POUs that can be used to improve closed loop performance. The validation of the control designs is achieved by means of a co-simulation application through CORBA middleware developed by the group [14] [15]. The layout of the paper is as follows: in section 2 an overview of some existing AW mechanisms for PID control is presented.…”

Section: Introductionmentioning

confidence: 99%

Implementing Non-Linear Strategies for PID in IEC 61131-3 ST Language

Iriondo

Marcos

Estévez

et al. 2006

2006 IEEE Conference on Emerging Technologies and Factory Automation

Self Cite

View full text Add to dashboard Cite

Industrial Process Measurement and ControlSystems (IPMCS) are used in most of the industrial sectors to achieve production improvement, process optimization and time and cost reduction. Integration, reuse, flexibility and optimization are demanded to adapt to a rapidly changing and competitive market. The standardization of high level programming languages for Programmable Logic Controller (PLCs) allows implementing more advanced control strategies in PLC based control applications. In this paper, AntiWindup (AW) and Bumpless Transfer (BT) mechanisms for PID control have been selected to be implemented as reusable Functional Block (FB) Program Organization Unit (POU). In particular, the final objective of the work is to design a mode switching supervisor for hybrid control systems.

show abstract

“…Recently, the Unified Modeling Language (UML) was adapted for modeling embedded and real-time systems, but it still lacks precise semantics, and guidelines about its usage. OMEGA [37], HIDOORS [35], FLEXICON [28], or the works presented in [10,11,27,30,33] define the development methods for real-time and embedded systems using the UML. Although this is a step in the right direction, they often do not use the enhanced features of UML 2.0, nor do they address complexity and reuse issues.…”

Section: Model-driven Development Of Embedded Systemsmentioning

confidence: 99%

Evaluation of an Abstract Component Model for Embedded Systems Development

Bunse¹,

Choi

Groß

2012

Journal of Information Processing Systems

View full text Add to dashboard Cite

Abstract-Model-driven and component-oriented development is increasingly being used in the development of embedded systems. When combined, both paradigms provide several advantages, such as higher reuse rates, and improved system quality. Performing model-driven and component-oriented development should be accompanied by a component model and a method that prescribes how the component model is used. This article provides an overview on the MARMOT method, which consists of an abstract component model and a methodology for the development of embedded systems. The paper describes a feasibility study that demonstrates MARMOT's capability to alleviate system design, verification, implementation, and reuse. Results indicate that model-driven and component-based development following the MARMOT method outperforms Agile development for embedded systems, leads to maintainable systems, and higher than normal reuse rates.

show abstract

Design and validation of industrial distributed control systems

Cited by 8 publications

References 12 publications

Specifying Communication Behaviours between Components with Real-Time rCOS - A Case Study ATP

Specifying Communication Behaviours between Components with Real-Time rCOS - A Case Study ATP

Implementing Non-Linear Strategies for PID in IEC 61131-3 ST Language

Evaluation of an Abstract Component Model for Embedded Systems Development

Contact Info

Product

Resources

About