A data-centric approach to composing embedded, real-time software components

Journal of Systems and Software

Volumn 74, Issue 1 SPEC. ISS., 2005, Pages 25-34

  Wuyts, Roel ^a   Ducasse, Stéphane ^a   Nierstrasz, Oscar ^a  

^a UNIVERSITY OF BERN   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE; COMPUTER SOFTWARE; INTERFACES (COMPUTER); JAVA PROGRAMMING LANGUAGE; REAL TIME SYSTEMS; SYNCHRONIZATION;

COMPONENT-BASED SOFTWARE DEVELOPMENT (CBSD); DATA-CENTRIC APPROACH; RATE MONOTONIC ANALYSIS (RMA); REAL-TIME SOFTWARE COMPONENTS;

EMBEDDED SYSTEMS;

EID: 4944257869     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jss.2003.05.004     Document Type: Conference Paper

References (26)

1. Achermann F., Nierstrasz O. Applications=components. + scripts - A tour of Piccola Software Architectures and Component Technology. 2001;Kluwer.
2. Allen, R.J., 1997. A formal approach to software architecture. PhD thesis, School of Computer Science, Carnegie Mellon University, Pittsburgh.
3. Arévalo, G., Ducasse, S., Nierstrasz, O., Liang, P., Wuyts, R., 2002. Verifying timing, memory consumption and scheduling of components. PECOS deliverable D2.2.6-3, University of Bern.
4. Badros G.J., Borning A. The Cassowary Linear Arithmetic Constraint Solving Algorithm: Interface and Implementation. 1998;University of Washington. TR 98-06-04.
5. Berry G. The foundations of Esterel. 2000;MIT Press.
6. Carlier J., Pinson E. A practical use of jackson's preemptive schedule for solving the job-shop problem. Annals of Operations Research. 26:1990.
7. Freeman-Benson B., Maloney J., Borning A. An incremental constraint solver. Comminications of the ACM. 33(1):1990;55-63.
8. Garlan D., Monroe R.T., Wile D. Acme: Architectural description of component-based systems. Foundations of Component-Based Systems. 2000;Cambridge Press.
9. Halbwachs N., Caspi P., Raymond P., Pilaud D. The synchronous data flow programming language lustre. Proceedings of the IEEE. 79:1991;9.
10. Harel D. On visual formalisms. CACM. 31(5):1988;514-530.
11. Hoare C.A.R. Communicating Sequential Processes. 1985;Prentice-Hall.
12. Jaffar J., Maher M. Constraint logic programming: a survey. The Journal of Logic Programming. 19,20:1994;503-581.
13. Kenney, J.J., 1995. Executable formal models of distributed transaction systems based on event processing. PhD thesis, Stanford University, 1995.
14. Klein M.H., Ralya T., Pollak B., Obenza R., Harbour M.G. A Practitioner's Handbook for Real-Time Analysis: Guide to Rate Monotonic Analysis for Real-Time Systems. 1993;Kluwer Academic Publishers.
15. Magee J., Dulay N., Kramer J. Regis: A constructive development environment for distributed programs. IEE/IOP/BCS Distributed Systems Engineering. 1(5):1994.
16. Monson-Haefel R. Enterprise JavaBeans. 1999;O'Reilly.
17. Motorola, 2002. Fast quadrature decode tpu function (FQD). TPUPN02/D, 2002.
18. Nierstrasz, O., Arevalo, G., Ducasse, S., Wuyts, R., Black, A., Müller, P., Zeidler, C., Genssler, T., Born, R., 2002. A component model for field devices. In: Proceedings of Working Conference on Component Deployment. ACM, 2002.
19. Pecos Consortium, 2002. PECOS in a Nutshell. http://www.pecos-project. org/public_documents/pecosHandbook.pdf. 2002.
20. Peterson J.L. Petri nets. ACM Computing Surveys. 9(3):1977.
21. Selic, B., Rumbaugh, J., Using UML for modeling complex real-time systems, 1998.
22. Selic B., Gullekson G., Ward P.T. Real-Time Object-Oriented Modeling. 1994;John Wiley & Sons.
23. Sha, Klein, Goodenough Rate Monotonic Analysis for Real-Time Systems. Foundations of Real-Time Computing: Scheduling and Resource Management. 1991;Kluwer Academic Publishers.
24. Siegel J. CORBA Fundamentals and Programming. 1996;John Wiley & Sons.
25. Szyperski C.A. Component Software. 1998;Addison-Wesley.
26. Wang J. Timed Petri Nets. 1998;Kluwer Academic Publishers.