poster

Model-based design of time-triggered real-time embedded systems for digital manufacturing

Authors:

Jiang Wan,

Arquimedes Canedo,

Mohammad Al FaruqueAuthors Info & Claims

HSCC '15: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control

Pages 295 - 296

https://doi.org/10.1145/2728606.2728651

Published: 14 April 2015 Publication History

Get Access

Abstract

This work presents a novel Model-Based Design (MBD) approach and associated tool-chain for the IEC 61131-3 specific Programmable Logical Controllers (PLC) [2]. Our tool-chain automatically synthesizes software for manufacturing Time-Triggered Real-time Embedded (TTRE) systems. A Software-In-the-Loop Simulation (SILS) framework integrated into our tool-chain helps to reduce the design iterations. Using a manufacturing robot-arm use-case, we validate our tool-chain and demonstrate a 39x improvement in the Quality-of-Control (QoC) when compared to the state-of-the-art approach [1]. Our auto-generated scheduler meets all the hard real-time constraints (zero deadline misses) for a given TTRE system when compared to the scheduler (e.g., 145 deadline misses for a CPU utilization of 95%) presented in [13].

References

[1]

"Simulink". http://www.mathworks.com/products/simulink/.

Google Scholar

[2]

A. Canedo and M. A. A. Faruque. "Towards parallel execution of IEC 61131 industrial cyber-physical systems applications". in IEEE/ACM Design Automation and Test in Europe (DATE'12), pages 554--557, 2012.

Digital Library

Google Scholar

[3]

A. Canedo, H. Ludwig, and M. A. A. Faruque. "High Communication Throughput and Low Scan Cycle Time with Multi-/Many-Core Programmable Logic Controllers". in IEEE Embedded Systems Letter (ESL), 2014.

Google Scholar

[4]

H. Carlsson, B. Svensson, F. Danielsson, and B. Lennartson. "Methods for Reliable Simulation-Based PLC Code Verification". Industrial Informatics, IEEE Transactions on, pages 267--278, 2012.

Google Scholar

[5]

D. Dumbacher and S. R. Davis. "Building operations efficiencies into NASAâĂ&Zacute;s Ares I crew launch vehicle design". In 54th Joint JANNAF Propulsion Conference, 2007.

Google Scholar

[6]

M. A. A. Faruque and A. M. Canedo. "Intelligent and Collaborative Embedded Computing in Automation Engineering". in IEEE/ACM Design Automation and Test in Europe (DATE'12), pages 344--355, 2012.

Digital Library

Google Scholar

[7]

G. Frey and L. Litz. "Formal methods in PLC programming". Systems, Man, and Cybernetics, 2000 IEEE International Conference on, pages 2431--2436, 2000.

Google Scholar

[8]

U. Gangoiti, M. Marcos, and E. Estevez. "Using cyclic executives for achieving closed loop co-simulation". Decision and Control and European Control Conference (CDC-ECC '05), pages 4785--4790, 2005.

Crossref

Google Scholar

[9]

J. C. Jensen, D. Chang, and E. A. Lee. "A Model-Based Design Methodology for Cyber-Physical Systems". Wireless Communications and Mobile Computing Conference (IWCMC'11), pages 1666--1671, 2011.

Crossref

Google Scholar

[10]

M. Marcos, E. Estevez, N. Iriondo, and D. Orive. "Analysis and validation of IEC 61131-3 applications using a MDE approach". Emerging Technologies and Factory Automation (ETFA'10), pages 1--8, 2010.

Google Scholar

[11]

D. Mendez-Fernandez, B. Penzenstadler, M. Kuhrmann, and M. Broy. "A Meta Model for Artefact-Orientation: Fundamentals and Lessons Learned in Requirements Engineering". In Proceedings of the 13th International Conference on Model Driven Engineering Languages and Systems (MODELS'10), pages 183--197, 2010.

Digital Library

Google Scholar

[12]

K. Thramboulidis and G. Frey. "Towards a Model-Driven IEC 61131-Based Development Process in Industrial Automation". Journal of Software Engineering and Applications, pages 217--226, 2011.

Google Scholar

[13]

E. Tisserant, L. Bessard, and M. de Sousa. "An Open Source IEC 61131-3 Integrated Development Environment". IEEE Transactions on Industrial Informatics, pages 183--187, 2007.

Google Scholar

Cited By

View all

Schemmel DGlebke RStoffers MWehrle K(2018)Towards Benchmark Optimization by Automated Equivalence Detection2018 IEEE Workshop on Benchmarking Cyber-Physical Networks and Systems (CPSBench)10.1109/CPSBench.2018.00011(25-29)Online publication date: Apr-2018
https://doi.org/10.1109/CPSBench.2018.00011

Index Terms

Model-based design of time-triggered real-time embedded systems for digital manufacturing

Recommendations

THE RTSC: MIGRATING EVENT-TRIGGERED SYSTEMS TO TIME-TRIGGERED SYSTEMS

In this paper, we present a prototype of the Real-Time Systems Compiler (RTSC). The RTSC is a compiler-based tool that enables the migration from event-triggered to time-triggered real-time systems. This is achieved by replacing the real-time systems ...
Cpu time-sharing in real-time systems
Real-Time Embedded Systems

Comments

Information & Contributors

Information

Published In

HSCC '15: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control

April 2015

321 pages

ISBN:9781450334334

DOI:10.1145/2728606

Program Chairs:
Antoine Girard
Université Joseph Fourier, Grenoble, France
,
Sriram Sankaranarayanan
University of Colorado at Boulder

Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 14 April 2015

Check for updates

Qualifiers

Poster

Conference

HSCC '15

Sponsor:

IEEE-CSS
SIGBED

HSCC '15: 18th International Conference on Hybrid Systems: Computation and Control

April 14 - 16, 2015

Washington, Seattle

Acceptance Rates

Overall Acceptance Rate 153 of 373 submissions, 41%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
137
Total Downloads

Downloads (Last 12 months)9
Downloads (Last 6 weeks)1

Reflects downloads up to 23 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Schemmel DGlebke RStoffers MWehrle K(2018)Towards Benchmark Optimization by Automated Equivalence Detection2018 IEEE Workshop on Benchmarking Cyber-Physical Networks and Systems (CPSBench)10.1109/CPSBench.2018.00011(25-29)Online publication date: Apr-2018
https://doi.org/10.1109/CPSBench.2018.00011

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

THE RTSC: MIGRATING EVENT-TRIGGERED SYSTEMS TO TIME-TRIGGERED SYSTEMS

Cpu time-sharing in real-time systems

Real-Time Embedded Systems

Comments

Published In

Sponsors

Publisher

Publication History

Check for updates

Qualifiers

Conference

Acceptance Rates

Other Metrics

Article Metrics

Other Metrics

Cited By

Login options

Full Access

PDF

eReader

Abstract

References

Cited By

Index Terms

Recommendations

THE RTSC: MIGRATING EVENT-TRIGGERED SYSTEMS TO TIME-TRIGGERED SYSTEMS

Cpu time-sharing in real-time systems

Real-Time Embedded Systems

Comments

Information

Published In

Sponsors

Publisher

Publication History

Check for updates

Qualifiers

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations