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 Systems for Computer Vision

 

We are currently witnessing a tremendous surge in the development of smart and autonomous systems. These include autonomous cars, autonomous robots, autonomous drones, and various smart systems in the context of industrial automation. A crucial component in all of these systems is computer vision, where inputs from various sensors such as cameras or lidars are processed and control commands for the desired functionality are generated. Computer vision is also being used for implementing various smart functionality, as well as security, e.g., using facial recognition. These emerging applications of computer vision pose several research challenges. These include the development of high-performance embedded architectures to support computer vision solutions, particularly those based on machine learning, the need for timing guarantees of computer vision algorithms when they are in critical control loops, low-power algorithms and architectures for computer vision, and privacy and security of vision-based applications and systems.

The deadline for submission to the special issue is June 15, 2020.

For more details, see Call for Papers.

 
Posted: 2020-02-20 More...
 

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 deadline for submission to the special issue is March 15, 2020 July 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 July 30, 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