Leibniz Transactions on Embedded Systems

LITES publishes original articles on all aspects of embedded computer systems according to the principles of OpenAccess.

Aims. LITES aims at the publication of high-quality scholarly articles, ensuring efficient submission, reviewing, and publishing procedures. All articles are published open access, i.e., accessible online without any costs. The rights are retained by the author(s).

Scope. LITES publishes original articles on all aspects of embedded computer systems, in particular: the design, the implementation, the verification, and the testing of embedded hardware and software systems; the theoretical foundations; single-core, multi-processor, and networked architectures and their energy consumption and predictability properties; reliability and fault tolerance; security properties; and on applications in the avionics, the automotive, the telecommunication, the medical, and the production domains. Preference is given to original articles. Survey articles and special issues from conferences may be considered for publication.

Announcements

 

Special Issue on Embedded System Security

 

Embedded systems are now an integral part of our lives. We have smart phones, smart meters, smart appliances, smart cars, smart grids, and smart houses—most relying on embedded systems with outdated security mechanisms, if they have any at all. A renewed emphasis on embedded systems security research is critical to our economy and our daily life.

The deadlines for submission to the special issue is March 15, 2020.

For more details, see Call for Papers.

 
Posted: 2019-12-19 More...
 

Special Issue on Distributed Hybrid Systems

 

Distributed hybrid-state systems (DHS) are abundant, many of them are safety-critical, but ensuring their correct functioning is very difficult. We believe that new techniques are needed for the analysis and validation of DHS. More precisely, we believe that convergence and interaction of methods and tools from different areas of computer science, control engineering, and mathematics is needed in order to advance the subject.

The deadlines for submission to the special issue is March 31, 2020.

For more details, see Call for Papers.

 
Posted: 2019-12-10 More...
 
More Announcements...

Vol 6, No 1 (2019)

Cover Page

Full Issue

View or download the full issue PDF

Table of Contents

Regular Papers

Local Planning Semantics: A Semantics for Distributed Real-Time Systems PDF
Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, Marius Bozga 01:1-01:27
Improving WCET Evaluation using Linear Relation Analysis PDF
Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Erwan Jahier, Nicolas Halbwachs, Fabienne Carrier, Mihail Asavoae, Rémy Boutonnet 02:1-02:28
A Survey of Probabilistic Timing Analysis Techniques for Real-Time Systems PDF
Robert I. Davis, Liliana Cucu-Grosjean 03:1-03:60
A Survey of Probabilistic Schedulability Analysis Techniques for Real-Time Systems PDF
Robert I. Davis, Liliana Cucu-Grosjean 04:1-04:53
Elastic Scheduling for Parallel Real-Time Systems PDF
James Orr, Chris Gill, Kunal Agrawal, Jing Li, Sanjoy Baruah 05:1-05:14
To make this site work properly, we sometimes place small data files called cookies on your device. Cookies are only here to manage user sessions. Cookies aren’t required for simply visiting the site and read content.
OK