21. |
- Fredriksson, Johan, et al.
(author)
-
Contract-Based Reusable Analysis for Software Components with Extra-Functional Properties
- 2007
-
In: Proceedings of the Work-In-Progress (WIP) session of the 19th Euromicro Conference on Real-Time Systems (ECRTS'07), Pisa, Italy. ; , s. 57-60
-
Conference paper (peer-reviewed)abstract
- Component-based software engineering (CBSE) for embedded systems is currently gaining ground because of shortened time-to-market, reduced development costs and increased software quality. One main characteristic of CBSE that enable these benefits is its facilitation of component reuse. However, existing tools and methods do not consider reuse of extra-functional properties in these systems.In this paper we extend our previous work on contract-based reusable execution time predictions for software components with additional extra-functional properties, such as memory and energy consumption.
|
|
22. |
- Fredriksson, Johan, et al.
(author)
-
Contract-Based Reusable Worst-Case Execution Time Estimate
- 2007
-
In: Proceedings of the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'07). - 9780769529752 ; , s. 39-46
-
Conference paper (peer-reviewed)abstract
- We present a contract-based technique to achieve reuse of known worst-case execution times (WCET) in conjunction with reuse of software components. For resource constrained systems, or systems where high degree of predictability is needed, classical techniques for WCET-estimation will result in unacceptable overestimation of the execution-time of reusable software components with rich behavior. Our technique allows different WCETs to be associated with subsets of the component behavior. The appropriate WCET for any usage context of the component is selected be means of component contracts over the input domain. In a case-study we illustrate our technique and demonstrate its potential in achieving tight WCET-estimates for reusable components with rich behavior.
|
|
23. |
|
|
24. |
- Fredriksson, Johan, et al.
(author)
-
Reusing Worst-Case Execution Time Analysis with Component Contracts
- 2007
-
In: Proceedings of the 9th Real-Time in Sweden (RTiS'07).
-
Conference paper (peer-reviewed)abstract
- We present a contract-based technique to achieve reuse of known worst-case execution times (WCET) in conjunction with reuse of software components. For resource constrained systems, or systems where high degree of predictability is needed, classical techniques for WCET-estimation will result in unacceptable overestimation of the execution-time of reusable software components with rich behavior. Our technique allows different WCETs to be associated with subsets of the component behavior. The appropriate WCET for any usage context of the component is selected be means of component contracts over the input domain. In a case-study we illustrate our technique and demonstrate its potential in achieving tight WCET-estimates for reusable components with rich behavior.
|
|
25. |
|
|
26. |
|
|
27. |
- Kaczynski, Giordano A., et al.
(author)
-
Deriving Exact Stochastic Response Times of Periodic Tasks in Hybrid Priority-driven Soft Real-time Systems
- 2007
-
In: Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'07), Patras, Greece. - 9781424408269 ; , s. 101-110
-
Conference paper (peer-reviewed)abstract
- The aim of this paper is to allow for hybrid task sets in the context of stochastic real-time analysis. The paper goes beyond previous work by allowing for the presence of aperiodic tasks in the system. Instead of representing a task with a fixed activation period and a Worst-Case Execution Time (WCET), here a task is characterized by an Arrival Profile (AP) and an Execution Time Profile (ETP), both given by random variables with known distributions. Any number of aperiodic tasks, with arbitrary arrival and execution time profiles, can be dealt with. To cope with the unbounded interference introduced by aperiodic tasks in the system, sporadic and aperiodic tasks are encapsulated within servers. The paper presents the calculus for obtaining the exact ETP of servers, which allows us to derive exact response time distributions of periodic tasks. Also, an example is used to show the potential and validity of the proposed approach.
|
|
28. |
- Kaczynski, Giordano A., et al.
(author)
-
Towards stochastic response-time of hierarchically scheduled real-time tasks
- 2006
-
In: IEEE Symposium on Emerging Technologies and Factory Automation, ETFA. - 1424406811 ; , s. 453-456
-
Conference paper (peer-reviewed)abstract
- The growing need for providing real-time system designers with less pessimistic results than the ones given by traditional worst-case analysis motivates several recent works on stochastic analysis methods. This paper deals with the calculation of stochastic Response Time Profiles of tasks that are hierarchically scheduled using server-based techniques in a stochastic analysis framework. Depending on how tasks are scheduled within the server, differences in temporal performance are expected. In the paper, initial results on calculating the Response Time Profiles for these server-scheduled tasks are outlined.
|
|
29. |
|
|
30. |
- Lo Bello, Lucia, et al.
(author)
-
Towards a robust real-time wireless link in a land monitoring application
- 2006
-
In: IEEE Symposium on Emerging Technologies and Factory Automation, ETFA. - 1424406811 ; , s. 449-452
-
Conference paper (peer-reviewed)abstract
- This paper addresses on-going work on providing a model of a robust real-time wireless link intended to be used to connect a mobile platform to a ground station in a land monitoring system. This work is part of a project where the mobile platform is an Unmanned Aerial Vehicle (UAV), equipped with embedded devices which acquire and process sensor data to be sent to the ground station. Firstly, a temporal model of the communications link relying on radio modems is developed. Secondly, measurements have been made in order to determine packet loss probability. These two results are currently used to provide a robust real-time model of the wireless communications link.
|
|