Loading...
Please wait, while we are loading the content...
Formal aspects of component-based design of embedded real-time systems
| Content Provider | Semantic Scholar |
|---|---|
| Author | Kruglyak, Andrey |
| Copyright Year | 2011 |
| Abstract | An embedded system is traditionally defined as a computational system that is a part of a larger device and serves a specific function. Such systems are often safety-critical, and a vast majority of them include at least some hard real-time tasks, where correctness depends on timeliness of computations. In recent years, there has been a surge in complexity of embedded systems, often further complicated by resource sharing between independent tasks; there is also a growing demand for concurrency in system operation. The challenge is to achieve that without compromising correctness and reliability. Component-based design (CBD), successfully used in development of generalpurpose software, seems to be a natural choice. However, despite a considerable body of research (see, for example, work on Rubus Component Model [2] and Ptolemy II [1]) and a number of commercial tools available in the market, CBD is rarely used for development of embedded systems outside some specific domains (e.g., Koala [3] has been used by Philips in consumer electronics). This calls for a new, formal approach to CBD addressing the important characteristics of embedded systems. Such an approach should: |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | https://pure.ltu.se/portal/files/36014353/facs2011.pdf |
| Journal | FACS 2011 |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
