|
 ABSTRACT
Embedded real-time systems consist of hardware and software that controls the behavior of a device or plant. They are ubiquitous in today's technological landscape and found in domains such as telecommunications, nuclear power, avionics, and medical technology. These systems are difficult to design and build because they must satisfy both functional and timing requirements to work correctly in their intended environment. Furthermore, embedded systems are often critical systems, where failure can lead to loss of life, loss of mission, or serious financial consequences. Because of the difficulty in creating these systems and the consequences of failure, they require rigorous and reliable design approaches. The synchronous approach is one possible answer to this demand. Its mathematical basis provides formal concepts that favor the trusted design of embedded real-time systems. The multiclock or polychronous model stands out from other synchronous specification models by its capability to enable the design of systems where each component holds its own activation clock as well as single-clocked systems in a uniform way. A great advantage is its convenience for component-based design approaches that enable modular development of increasingly complex modern systems. The expressiveness of its underlying semantics allows dealing with several issues of real-time design. This article exposes insights gained during recent years from the design of real-time applications within the polychronous framework. In particular, it shows promising results about the design of applications from the avionics domain.
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
AADL Coordination Commitee. 2002. Avionics architecture description language. In AADL Seminar (Toulouse, France). Society of Automotive Engineers.
|
| |
2
|
Airlines Electronic Engineering Committee. 1997a. ARINC report 651-1: Design guidance for integrated modular avionics. Tech. Rep. 651, Aeronautical Radio, Inc., Annapolis, Maryland. November.
|
| |
3
|
Airlines Electronic Engineering Committee. 1997b. ARINC specification 653: Avionics application software standard interface. Tech. Rep. 653, Aeronautical Radio, Inc., Annapolis, Maryland. January.
|
| |
4
|
Alur, R., Dang, T., Esposito, J., Hur, Y., Ivancic, F., Kumar, V., Lee, I., Mishra, P., Pappas, G., and Sokolsky, O. 2003. Hierarchical modeling and analysis of embedded systems. IEEE Press 91, 1, 11--28.
|
| |
5
|
Amagbegnon, T., Besnard, L., and Le Guernic, P. 1994. Arborescent canonical form of Boolean expressions. Tech. Rep. 2290, INRIA. June. www.inria.fr/rrrt/rr-2290.html.
|
 |
6
|
Pascalin Amagbégnon , Loïc Besnard , Paul Le Guernic, Implementation of the data-flow synchronous language SIGNAL, Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation, p.163-173, June 18-21, 1995, La Jolla, California, United States
|
| |
7
|
Arvind and Gostelow, K. 1978. Some Relationships Between Asynchronous Interpreters of a Dataflow Language. North-Holland, New York.
|
| |
8
|
|
| |
9
|
Benveniste, A. 1998. Safety critical embedded systems design: The SACRES approach. In School on Formal Techniques in Real Time and Fault Tolerant Systems 1998: Material for the School. Technical University of Denmark, Lyngby, Denmark.
|
| |
10
|
Benveniste, A., Caspi, P., Edwards, S., Halbwachs, N., Le Guernic, P., and de Simone, R. 2003. The synchronous languages twelve years later. Proc. IEEE 91, 1 (Jan.), 64--83.
|
| |
11
|
Albert Benveniste , Paul Caspi , Paul Le Guernic , Hervé Marchand , Jean-Pierre Talpin , Stavros Tripakis, A Protocol for Loosely Time-Triggered Architectures, Proceedings of the Second International Conference on Embedded Software, p.252-265, October 07-09, 2002
|
| |
12
|
Benveniste, A. and Le Guernic, P. 1990. Hybrid dynamical systems theory and the signal language. IEEE Trans. Autom. Control 35, 5 (May), 535--546.
|
| |
13
|
Berry, G. and Sentovich, E. 1998. Embedding synchronous circuits in GALS-based systems. In Sophia-Antipolis Conference on Micro-Electronics (SAME). Sophia Antipolis MicroElectronics, Sophia-Antipolis, France.
|
| |
14
|
Berthomieu, B., Ribet, P.-O., Vernadat, F., Bernartt, J. L., Farines, J.-M., Bodeveix, J.-P., Filali, M., Padiou, G., Michel, P., Farail, P., Gauffilet, P., Dissaux, P., and Lambert, J.-L. 2003. Towards the verification of real-time systems in avionics: The Cotre approach. Electron. Not. Theor. Comput. Sci. 80, 1--16.
|
| |
15
|
|
| |
16
|
Camus, J.-L. and Dion, B. 2003. Efficient development of airborne software with Scade suite. Tech. Rep., Esterel Technologies. www.esterel-technologies.com.
|
| |
17
|
|
| |
18
|
Etienne Closse , Michel Poize , Jacques Pulou , Joseph Sifakis , Patrick Venter , Daniel Weil , Sergio Yovine, TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems, Proceedings of the 13th International Conference on Computer Aided Verification, p.391-395, July 18-22, 2001
|
| |
19
|
|
| |
20
|
|
| |
21
|
|
| |
22
|
|
| |
23
|
ESPRESSO-IRISA. 2006. The Polychrony website. www.irisa.fr/espresso/Polychrony.
|
| |
24
|
Gamatié, A. and Gautier, T. 2002. Synchronous modeling of modular avionics architectures using the Signal language. Tech. Rep. 4678, INRIA. December. www.inria.fr/rrrt/rr-4678.html.
|
| |
25
|
Gamatié, A. and Gautier, T. 2003a. The signal approach to the design of system architectures. In Proceedings of the 10th IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS). 80.
|
| |
26
|
|
| |
27
|
Gamatié, A., Gautier, T., and Le Guernic, P. 2004. An example of synchronous design of embedded real-time systems based on IMA. In Proceedings of the 10th International Conference on Real-Time and Embedded Computing Systems and Applications (RTCSA) (Gothenburg, Sweden). Lecture Notes in Computer Science. Springer Verlag.
|
| |
28
|
Gautier, T. and Le Guernic, P. 1999. Code generation in the Sacres project. In Safety-Critical Systems Symposium (SSS) (Huntington, UK), F. Redmill and T. Anderson, Ed. Springer Verlag.
|
| |
29
|
|
| |
30
|
|
| |
31
|
|
| |
32
|
John Hatcliff , Xinghua Deng , Matthew B. Dwyer , Georg Jung , Venkatesh Prasad Ranganath, Cadena: an integrated development, analysis, and verification environment for component-based systems, Proceedings of the 25th International Conference on Software Engineering, May 03-10, 2003, Portland, Oregon
|
| |
33
|
|
| |
34
|
Kahn, G. 1974. The semantics of a simple language for parallel programming. In Information Processing, vol. 74, J. L. Rosenfeld, Ed. North-Holland, New York. 471--475.
|
| |
35
|
Kountouris, A. 1998. Outils pour la validation temporelle et l'optimisation de programmes synchrones. Ph.D. thesis, Université de Rennes I, Rennes, France.
|
| |
36
|
Kountouris, A. and Le Guernic, P. 1996. Profiling of Signal programs and its application in the timing evaluation of design implementations. In IEE Colloquium on Hardware-Software Cosynthesis for Reconfigurable Systems. (Jun. 1--9), Bristol, UK.
|
| |
37
|
Le Guernic, P., Talpin, J.-P., and Le Lann, J.-C. 2003. Polychrony for system design. J. Circ. Syst. Comput. 12, 3 (Apr.), 261--304.
|
| |
38
|
|
| |
39
|
Lee, E. 2001. Overview of the Ptolemy project. Tech. Rep. UBC/ERL M01/11, University of California, Berkeley. March.
|
| |
40
|
|
| |
41
|
|
| |
42
|
|
| |
43
|
|
| |
44
|
|
| |
45
|
Romberg, J. 2002. Model-Based deployment with autofocus: A first cut. In Proceedings of the 14th Euromicro Conference on Real Time Systems (ECRTS) (Work in Progress session). IEEE Computer Society, Los Alamitos, CA. 41--44.
|
| |
46
|
Rushby, J. 1999. Partitioning in avionics architectures: Requirements, mechanisms, and assurance. Tech. Rep. CR-1999-209347, NASA Langley Research Center. June. www.csl.sri.com/users/rushby/partitioning.html.
|
| |
47
|
Sacres Consortium. 1997. The semantic foundations of Sacres. Tech. Rep. EP 20897, Esprit Project EP. March.
|
| |
48
|
|
| |
49
|
Sharp, D. and Roll, W. 2003. Model-Based integration of reusable component-based avionics systems. In Workshop on Model-Driven Embedded Systems in RTAS. IEEE Computer Society, Los Alamitos, CA.
|
| |
50
|
|
| |
51
|
John A. Stankovic , Ruiqing Zhu , Ram Poornalingam , Chenyang Lu , Zhendong Yu , Marty Humphrey , Brian Ellis, VEST: An Aspect-Based Composition Tool for Real-Time Systems, Proceedings of the The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, p.58, May 27-30, 2003
|
| |
52
|
Talpin, J.-P., Gamatié, A., Berner, D., Le Dez, B., and Le Guernic, P. 2003. Hard real-time implementation of embedded systems in Java. In Proceedings of the International Workshop on Scientific Engineering of Distributed JAVA Applications (Berlin). Springer Verlag. 33--47.
|
| |
53
|
|
| |
54
|
|
| |
55
|
|
REVIEW
"Bernard Kuc : Reviewer"
To me, it has always appeared that the theory of real-time system design and the practice thereof have long since gone their separate ways. The theory (always clean, yet often simplistic) and the practice, although founded in good intentions, are
more...
|
Adobe Acrobat
QuickTime
Windows Media Player
Real Player
Pdf
D.2