A LLVM Based Development Environment for Embedded Systems Software Targeting the RISCO Processor

2012 ◽  
Author(s):  
Giuliano Vilela ◽  
Edgard Correa ◽  
Marcio Kreutz
Keyword(s):  
Embedded Systems ◽  
Development Environment ◽  
Systems Software

A Cloud-Based Approach to Development of Embedded Systems Software

2015 ◽  
Author(s):  
Jürgen Hausladen ◽  
Birgit Pohn ◽  
Martin Horauer
Keyword(s):  
Embedded Systems ◽  
Operating Systems ◽  
Development Process ◽  
Development Environment ◽  
Management Tools ◽  
Integrated Development ◽  
Tool Chain ◽  
Development Platform ◽  
Systems Software ◽  
Ubiquitous Access

The complexity of modern embedded systems and tools to develop them is continuously growing. Although there are various efforts to address this issue (e.g., by raising the level of abstraction) it is rather challenging to keep pace with all relevant innovations in the field. For example, various collaboration and version management tools support the development process when multiple developers collaborate on the development of an embedded solution. In this paper, we present a cloud-based integrated development environment that supports the development of software for embedded systems where the entire tool-chain is in the cloud and provides debugging and flashing of hardware as usual. This approach avoids tool version conflicts, enables central upgrade as well as maintainability and provides a unique interface across multiple operating systems to the developers (the latter is often enforced in industrial settings by restricting the software setup and privileges of an individual developer). Furthermore, the cloud-approach enables ubiquitous access to the development platform.

Testing Embedded Systems Software using Open Source Virtual Platforms

2010 ◽  
Author(s):  
A. Bastoni ◽  
P. Boschi ◽  
F. Batino ◽  
C. Di Biagio ◽  
L. Recchia
Keyword(s):  
Embedded Systems ◽  
Open Source ◽  
Systems Software

Software Based Methods to Harden Embedded Software at Run-Time: A Survey

2015 ◽  
Author(s):  
Michael Kramer ◽  
Martin Horauer
Keyword(s):  
Embedded Systems ◽  
Computer Systems ◽  
Computer Software ◽  
Control Flow ◽  
Test Procedures ◽  
Modern Computer ◽  
Systems Software ◽  
Personal Computer Software ◽  
Control Flow Checking ◽  
Run Time

Embedded Systems software reliability is increasingly important, therefore methods to harden existing software are needed. In general, hardening software against various failures is a necessity in modern computer systems. A lot of work has been published regarding many possible ways to achieve this non-functional requirement. Relevant topics include, e.g., test procedures, recommended development flows, and hardware measures like watchdog timers. One of these methods seems very promising to be software implemented in modern embedded systems: Control Flow Checking by signatures. Various authors have shown the effectiveness and feasibility of Control Flow Checking (CFC) by signatures for personal computer software. For instance it has been shown for standard computer-systems, that CFC is capable of reducing undetected control flow errors by at least one magnitude. This survey will focus on the applicability of such software hardening methods to embedded systems, while adhering mainly to software based approaches. Published methods will be summarized and compared. Furthermore methods to simplify derived control-flow graphs to essential states will be emphasized. Finally the possibility to apply run-time verification to the Control-flow Checking Software is considered.

Sign in / Sign up

Export Citation Format

Share Document