research-article

LetSynchronise: An Open-Source Framework for Analysing and Optimising Logical Execution Time Systems

Authors:

Eugene Yip,

Matthew M. Y. KuoAuthors Info & Claims

CPS-IoT Week '23: Proceedings of Cyber-Physical Systems and Internet of Things Week 2023

Pages 349 - 354

https://doi.org/10.1145/3576914.3587500

Published: 09 May 2023 Publication History

Get Access

Abstract

The paper presents early work on LetSynchronise, an open-source framework that aims to facilitate research and collaboration on Logical Execution Time (LET) systems. It offers a web application for modelling, simulating, analysing, and optimising LET systems, which can be extended via user-defined plugins for the rapid prototyping of scheduling policies, timing analysers, and optimisation algorithms. Its capabilities are demonstrated through use cases and a small research case study.

References

[1]

AUTOSAR Classic. 2022. Release R22-11. Available at https://www.autosar.org/standards/classic-platform. Last accessed Mar 2023.

Google Scholar

[2]

Rolf Ernst, Stefan Kuntz, Sophie Quinton, and Martin Simons. 2018. The Logical Execution Time Paradigm: New Perspectives for Multicore Systems (Dagstuhl Seminar 18092). Dagstuhl Reports 8, 2 (2018), 122–149.

Google Scholar

[3]

Mario Günzel, Kuan-Hsun Chen, Niklas Ueter, Georg von der Brüggen, Marco Dürr, and Jian-Jia Chen. 2021. Timing Analysis of Asynchronized Distributed Cause-Effect Chains. In Real-Time and Embedded Technology and Applications Symposium (RTAS). IEEE, New York, USA, 40–52.

Google Scholar

[4]

Julien Hennig, Hermann von Hasseln, Hassan Mohammad, Stefan Resmerita, Stefan Lukesch, and Andreas Naderlinger. 2016. Towards Parallelizing Legacy Embedded Control Software Using the LET Programming Paradigm. In Real-Time and Embedded Technology and Appl. Symp. (RTAS). IEEE, New York, USA, 1–4.

Google Scholar

[5]

Thomas A. Henzinger and Christoph M. Kirsch. 2007. The Embedded Machine: Predictable, Portable Real-time Code. ACM Transactions on Programming Languages and Systems 29, 6 (2007), 33:1–33:29.

Digital Library

Google Scholar

[6]

Christoph M. Kirsch and Ana Sokolova. 2012. The Logical Execution Time Paradigm. In Advances in Real-Time Systems. Springer, Berlin, Heidelberg, 103–120.

Google Scholar

[7]

Claire Pagetti, David Saussié, Romain Gratia, Eric Noulard, and Pierre Siron. 2014. The ROSACE Case Study: From Simulink Specification to Multi/Many-core Execution. In Real-Time and Embedded Technology and Applications Symposium (RTAS). IEEE, New York, USA, 309–318.

Crossref

Google Scholar

[8]

Stefan Resmerita, Andreas Naderlinger, Manuel Huber, Kenneth Butts, and Wolfgang Pree. 2015. Applying Real-Time Programming to Legacy Embedded Control Software. In Real-Time Distributed Computing. IEEE, New York, USA, 1–8.

Google Scholar

Cited By

View all

Li DLu SZhang JHu Y(2023)Health Diagnosis of Gear Based on Artificial Intelligence Deep Learning and Rigid-Flexible Coupling Dynamics Model2023 IEEE International Conference on Teaching, Assessment and Learning for Engineering (TALE)10.1109/TALE56641.2023.10398347(1-6)Online publication date: 28-Nov-2023
https://doi.org/10.1109/TALE56641.2023.10398347

Index Terms

LetSynchronise: An Open-Source Framework for Analysing and Optimising Logical Execution Time Systems

Recommendations

Modelling by Petri nets of the hybrid systems in electrical engineering
ISTASC'06: Proceedings of the 6th WSEAS International Conference on Systems Theory & Scientific Computation

Petri nets enable a discrete event system of any kind whatsoever to be modeled. They present two interesting characteristics. Firstly they make it possible to model and visualize behaviors comprising concurrency, synchronization and resource sharing. ...
Towards Analysing a Class of Object Petri Nets
ASWEC '96: Proceedings of the 1996 Australian Software Engineering Conference

The Petri net theory has been used to specify many systems, in particular, concurrent, distributed and non-deterministic. A class of high-level, object-based Petri nets, OBJSA nets, is being used to model the behaviour of a concurrent system - a ...
Agent-based modelling of the evacuation of endangered areas in crisis situations

The evacuation process from endangered areas (EA) into safe spaces in crisis situations is modelled by means of simple agents (gate-ways equipped by sensors). Petri nets (PN) are utilized here to model the EA structure as well as the agents and their ...

Comments

Information & Contributors

Information

Published In

CPS-IoT Week '23: Proceedings of Cyber-Physical Systems and Internet of Things Week 2023

May 2023

419 pages

ISBN:9798400700491

DOI:10.1145/3576914

Permission to make digital or hard copies of all or part 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 components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 09 May 2023

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article
Research
Refereed limited

Conference

CPS-IoT Week '23

Sponsor:

SIGBED

CPS-IoT Week '23: Cyber-Physical Systems and Internet of Things Week 2023

May 9 - 12, 2023

TX, San Antonio, USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
59
Total Downloads

Downloads (Last 12 months)23
Downloads (Last 6 weeks)0

Reflects downloads up to 09 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Li DLu SZhang JHu Y(2023)Health Diagnosis of Gear Based on Artificial Intelligence Deep Learning and Rigid-Flexible Coupling Dynamics Model2023 IEEE International Conference on Teaching, Assessment and Learning for Engineering (TALE)10.1109/TALE56641.2023.10398347(1-6)Online publication date: 28-Nov-2023
https://doi.org/10.1109/TALE56641.2023.10398347

View Options

Get Access

Login options

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

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

HTML Format

View this article in HTML Format.

HTML Format

Abstract

References

Cited By

Index Terms

Recommendations

Modelling by Petri nets of the hybrid systems in electrical engineering

Towards Analysing a Class of Object Petri Nets

Agent-based modelling of the evacuation of endangered areas in crisis situations

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Get Access

Login options

Full Access

View options

PDF

eReader

HTML Format

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations