| 1. |
- Ciccozzi, Federico, et al.
(författare)
-
Generation of Correct-by-Construction Code from Design Models for Embedded Systems
- 2011
-
Ingår i: 6th IEEE International Symposium on Industrial Embedded Systems (SIES'11). - : IEEE. - 9781612848181 ; , s. 63-66
-
Konferensbidrag (refereegranskat)abstract
- In a model-driven engineering development process that focuses on guaranteeing that extra-functional concerns modeled at design level are preserved at platform execution level, the task of automated code generation must produce artifacts that enable back-annotation activities. In fact when the target platform code has been generated, quality attributes of the system are evaluated by appropriate code execution monitoring/analysis tools and their results back-annotated to the source models to be extensively evaluated. Only at this point the preservation of analysed extra-functional aspects can be either asserted or achieved by re-applying the code generation chain to the source models properly optimized according to the evaluation results. In this work we provide a solution for the problem of automatically generating target platform code from source models focusing on producing code artifacts that facilitate analysis and enable back-annotation activities. Arisen challenges and solutions are described together with completed and planned implementation of the proposed approach.
|
|
| 2. |
- Fredriksson, Johan, et al.
(författare)
-
Clustering Worst-Case Execution Times for Software Components
- 2007
-
Ingår i: Proceedings of the 7th International Workshop on Worst Case Execution Time Analysis (WCET'07), Pisa, Italy. - 9783939897057 ; , s. 19-25
-
Konferensbidrag (refereegranskat)abstract
- For component-based systems, classical techniques for WCET-estimation produce unacceptable overestimations of the WCET. This is because software components have more general behavior in order to support reuse. Existing tools and methods for component-based software engineering (CBSE) do not yet adequately consider reusable analyses.We present a method that allows different WCETs to be associated with subsets of the component behavior by clustering WCETs with respect to behavior. The method is intended to be used for facilitating reusable WCET analysis for reusable software components. We illustrate our technique and demonstrate its potential in achieving tight WCET-estimates for components with rich behavior.
|
|
| 3. |
- Hjertström, Andreas, et al.
(författare)
-
INCENSE : Information-Centric Run-Time Support for Component-Based Embedded Real-Time Systems
- 2007
-
Ingår i: Proceedings of the Work-In-Progress (WIP) session, 14th IEEE Real-Time and Embedded Technology and Applications Symposium, Seattle, United States. ; , s. 4-
-
Konferensbidrag (refereegranskat)abstract
- In this paper we present a technique to allow the use ofreal-time database management together with componentbasedsoftware development, to achieve an information centricrun-time platform for the development of embeddedreal-time systems. The technique allows components tobenefit from the advantages of a real-time database managementsystem while still retaining desirable componentproperties, such as isolation and a high level of reusability.We propose that a database is integrated in the componentframework, and introduce the concept of databaseproxies to decouple components from the database schema.The resulting system fully benefits from the advantages ofcomponent-based software development, such as reusability,all component interaction through interfaces, etc, combinedwith the advantages of a real-time database managementsystem, i.e., system openness, controlled data access,and dynamic query language capabilities.
|
|
| 4. |
- Hänninen, Kaj, et al.
(författare)
-
Determining maximum stack usage in preemptive shared stack systems
- 2007. - 1
-
Ingår i: Proceedings of the 9th Real-Time in Sweden (RTiS'07), Västerås, Sweden. ; , s. 118-126
-
Konferensbidrag (refereegranskat)abstract
- This paper presents a novel method to determine the maximum stack memory used in preemptive, shared stack, real-time systems. We provide a general and exact problem formulation applicable for any preemptive system model based on dynamic (run-time) properties. We also show how to safely approximate the exact stack usage by using static (compile time) information about the system model and the underlying run-time system on a relevant and commercially available system model: A hybrid, statically and dynamically, scheduled system. Comprehensive evaluations show that our technique significantly reduces the amount of stack memory needed compared to existing analysis techniques. For typical task sets a decrease in the order of 70% is typical.
|
|
| 5. |
- Hänninen, Kaj, et al.
(författare)
-
Determining maximum stack usage in preemptive shared stack systems
- 2006. - 1
-
Ingår i: Proceedings - Real-Time Systems Symposium. - 9780769527611 ; , s. 445-453
-
Konferensbidrag (refereegranskat)abstract
- This paper presents a novel method to determine the maximum stack memory used in preemptive, shared stack, real-time systems. We provide a general and exact problem formulation applicable for any preemptive system model based on dynamic (run-time) properties. We also show how to safely approximate the exact stack usage by using static (compile time) information about the system model and the underlying run-time system on a relevant and commercially available system model: A hybrid, statically and dynamically, scheduled system. Comprehensive evaluations show that our technique significantly reduces the amount of stack memory needed compared to existing analysis techniques. For typical task sets a decrease in the order of 70% is typical.
|
|
| 6. |
|
|
| 7. |
- Möller, Anders, et al.
(författare)
-
Industrial Requirements on Component Technologies for Vehicular Control Systems
- 2006
-
Rapport (övrigt vetenskapligt/konstnärligt)abstract
- Software component technologies for automotive applications are desired due to the envisioned benefits in reuse, variant handling, and porting; thus, facilitating both efficient development and increased quality of software products. Component based software development has had success in the PC application domain, but requirements are different in the embedded domain and existing technologies does not match. Hence, software component technologies have not yet been generally accepted by embedded-systems industries.In order to better understand why this is the case, we present two separate case-studies together with an evaluation of the existing component technologies suitable for embedded control systems.The first case-study presents a set of requirements based on industrial needs, which are deemed decisive for introducing a component technology. Furthermore, in the second study, we asked the companies involved to grade these requirements.Then, we use these requirements to compare existing component technologies suitable for embedded systems. One of our conclusions is that none of the studied technologies is a perfect match for the industrial requirements. Furthermore, no single technology stands out as being a significantly better choice than the others; each technology has its own pros and cons.The results can be used to guide modifications and/or extensions to existing component technologies in order to make them better suited for industrial deployment in the automotive domain. The results can also serve to guide other software engineering research by showing the most desired areas within component-based software engineering.
|
|
| 8. |
- Sjödin, Peter, et al.
(författare)
-
CANopen.NET - Programming-less interconnection between GUI- and control-application
- 2006
-
Ingår i: International CAN Conference (iCC), Stockholm.
-
Konferensbidrag (refereegranskat)abstract
- We present the novel concept CANopen.NET. In this concept we integrate Windows GUI-programming in .NET and control-applications based on CANopen. The integration is automated, thus no programming is needed.An increasing number of CAN-based systems are equipped with Windows-based graphical user-interfaces (GUIs). Today, the .NET framework provides the most attractive solutions for design of GUIs both i Windows and WindowsCE. However, transferring information between the CANopen-domain (which is typically unmanaged code) and the .NET-domain (managed code) is non trivial. Traditional methods require handwritten pieces of code both in the managed and unmanaged domain for each signal (object-dictionary entry). This means that adding or modifying signals to the system becomes tedious, error-prone and expensive.In .NET high-level abstractions like XML-documents, web-servers and databases are easily accessible and can be bound to graphical controls. Hence, in CANopen.NET we provide a .NET-database interface via the .NET type "dataset" to the data in the object dictionary. This dataset is automatically generated from a CANopen profile-specification (EDS-file). Also, the CANopen-stack is automatically configured from the EDS-file. Hence, CANopen.NET provides a programming-less interconnection between CANopen-based control-applications and Windows.NET-based GUI-applications. This significantly eases the development of CANopen-systems with GUIs.
|
|
| 9. |
- Åkerholm, Mikael, et al.
(författare)
-
Handling Subsystems using the SaveComp Component Technology
- 2006
-
Ingår i: Workshop on Models and Analysis for Automotive Systems (WMAAS'06) in conjunction with the 27th IEEE Real-Time Systems Symposium (RTSS'06), Rio de Janeiro, Brazil.
-
Konferensbidrag (refereegranskat)
|
|
| 10. |
- Åkerholm, Mikael, et al.
(författare)
-
The SaveCCM Language Reference Manual
- 2007
-
Rapport (övrigt vetenskapligt/konstnärligt)abstract
- This language reference describes the syntax and semantics of SaveCCM, acomponent modeling language for embedded systems designed with vehicle applications and safety concerns in focus. The SaveCCM component model wasdefined within the SAVE project. The SAVE components are influenced mainlyby the Rubus component technology, with a switch concept similar to thatin Koala. The semantics is defined by a transformation into timed automatawith tasks, a formalism that explicitly models timing and real-time task scheduling.The purpose of this document is to describe a semantics of the SAVE component modeling language, which can be used to describe timing and functional behavior of components. The model of a system is in some cases an over approximation of the actual system behavior. An implementation of a model can resolve non-determinism e.g. by merging tasks or assigning a scheduling policy (such as static scheduling or fixed priority, preemptive or not) that will resolvethe non-determinism.
|
|
