Abstract
Heterogeneous non-functional requirements of Distributed Real-Time Embedded (DRE) system put a limit on middleware engineering: the middleware must reflect application requirements, with limited runtime impact. Thus, building an application-tailored middleware is both a requirement and a challenge.
In this paper, we provide an overview of our work on the construction of middleware. We focus on two complementary projects: the definition of middleware that provides strong support for both tailorability and verification of its internals; the definition of a methodology that enables the automatizing of key steps of middleware construction.
We illustrate how our current work on PolyORB, Ocarina and the use of Petri Nets allows designer to build the middleware that precisely matches its application requirements and comes with precise proof of its properties.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Apvrille, L., de Saqui-Sannes, P., Khendek, F.: TURTLE-P: Un profil UML pour la validation d’architectures distribuees. In: Colloque Francophone sur l’Ingńierie des Protocoles (CFIP), Paris, France, October 2003, Hermes, Paris (2003)
Baarir, S., Haddad, S.: Exploiting Partial Symmetries in Well-formed nets for the Reachability and the linear Time Model Checking Problems. In: Proceedings of the 7th Workshop on Discrete Event Systems (WODES’04), Reims, France, Sept. (2004)
Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., Stal, M.: Pattern-Oriented Software Architecture: A System of Patterns. John Wiley & Sons, New York (1996)
Bastide, R., Sy, O., Palanque, P., Navarre, D.: Formal specifications of corba services: Experience and lessons learned. In: Proceedings of the ACM Conference on Object-Oriented Programmng, Systems, Languages and Applications (00PSLA’2000), Minneapolis, Minnesota, USA, ACM Press, New York (2000)
Budden, T.J.: Decision Point: Will Using a COTS Component Help or Hinder Your DO-178B Certification Effort. STSC CrossTalk, The Journal of Defense Software Engineering (November 2003)
Chiola, G., Dutheillet, C., Franceschini, G., Haddad, S.: On Well-Formed Coloured Nets and their Symbolic Reachability Graph. In: High-Level Petri Nets. Theory and Application, LNCS (1991)
Deng, W., Dwyer, M.B., Hatcliff, J., Jung, G., Robby, Singh, G.: Model-checking middleware-based event-driven real-time embedded software. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol. 2852, Springer, Heidelberg (2003)
Dumant, B., Horn, F., Tran, F.D., Stefani, J-B.: Jonathan: an open distributed processing environment in java. In: Proceedings of the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing, Springer, Heidelberg (1998)
Feiler, P.H., Lewis, B., Vestal, S.: Improving predictability in embedded real-time systems. Technical Report CMU/SEI-2000-SR-011, université Carnegie Mellon (December 2000), http://la.sei.cmu.edu/publications
Hugues, J., Kordon, F., Pautet, L.: A framework for DRE middleware, an application to DDS. In: Proceedings of the 9th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC’06), Gyeongju, Korea, April 2006, pp. 224–231. IEEE Computer Society Press, Los Alamitos (2006)
Hamez, A., Renault, X.: PetriScript Reference Manual. LIP6, http://www-src.lip6.fr/logiciels/mars/CPNAMI/MANUAL_SERV
ISO. Quality management and quality assurance - vocabulary. ISO 8402:1994 (1994)
Jonsson, B.: Compositional specification and verification of distributed systems. ACM Transactions on Programming Languages and Systems (TOPLAS) (1994)
Kaddour, M., Pautet, L.: A middleware for supporting disconnections and multi-network access in mobile environments. In: Proceedings of the Perware workshop at the 2nd Conference on Pervasive Computing (Percom), Orlando, Florida, USA, March (2004)
Kordon, F., Pautet, L.: Toward next-generation toward next-generation middleware? IEEE Distributed Systems Online 5(1) (2005)
LAAS. The RT-LOTOS Project (2004), http://www.laas.fr/RT-LOTOS
Lewis, B.: architecture based model driven software and system development for real-time embedded systems (2003), available at http://la.sei.cmu.edu/aadlinfosite/LinkedDocuments/
Memon, A., Porter, A., Yilmaz, C., Nagarajan, A., Schmidt, D.C., Natarajan, B.: Skoll: Distributed Continuous Quality Assurance. In: Proceedings of the 26th IEEE/ACM International Conference on Software Engineering (ICSE), Edinburgh, Scotland, May 2004, ACM Press, New York (2004)
Pyarali, I., Spivak, M., Cytron, R., Schmidt, D.C.: Evaluating and Optimizing Thread Pool Strategies for RT-CORBA. In: Proceedings of the ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems, ACM Press, New York (2001)
Rajkumar, R., Gagliardi, M., Sha, L.: The Real-Time Publisher/Subscriber Inter-Process Communication Model for Distributed Real-Time Systems: Design and Implementation. In: Proceeding of the 1st IEEE Real-Time Technology and Applications Symposium, Denver, Colorado, USA, May 1995, IEEE Computer Society Press, Los Alamitos (1995)
Rugina, A.-E., Kanoun, K., Kaâniche, M.: Aadl-based dependability modelling. Technical Report 06209, LAAS-CNRS (April 2006)
Rumpe, B., Schoenmakers, M., Radermacher, A., Schürr, A.: UML + ROOM as a standard ADL? In: Proc. ICECCS’99 Fifth IEEE International Conference on Engineering of Complex Computer Systems, IEEE Computer Society Press, Los Alamitos (1999)
SAE. Aadl, annex d: Language compliance and application program interface (Sept. 2004), available at http://www.sae.org
SAE. Architecture Analysis & Design Language (AS5506) (Sept. 2004), available at http://www.sae.org
Schmidt, D.C., Buschmann, F.: Patterns frameworks and middleware: Their synergistic relationships. In: Proceedings of the 25th International Conference on Software Engineering (2003)
Schmidt, D., Levine, D., Mungee, S.: The design and performance of real-time object request brokers. Computer Communications 21 (1998)
Soussy, Y.: Compositions of Nets via a communication medium. In: 10th International Conference on Application and theory of Petri Nets, Bonn, Germany, June (1989)
Thierry-Mieg, Y., Dutheillet, C., Mounier, I.: Automatic symmetry detection in well-formed nets. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 82–101. Springer, Heidelberg (2003)
Vergnaud, T., Hugues, J., Pautet, L., Kordon, F.: PolyORB: a schizophrenic middleware to build versatile reliable distributed applications. In: Proceedings of the 9th International Conference on Reliable Software Techologies Ada-Europe 2004 (RST’04), Palma de Mallorca, Spain, June (2004)
Vergnaud, T., Zalila, B.: Ocarina: a Compiler for the AADL. Technical report, Télécom Paris (2006), available at http://ocarina.enst.fr
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Hugues, J., Kordon, F., Pautet, L., Vergnaud, T. (2007). A Factory to Design and Build Tailorable and Verifiable Middleware. In: Kordon, F., Sztipanovits, J. (eds) Reliable Systems on Unreliable Networked Platforms. Monterey Workshop 2005. Lecture Notes in Computer Science, vol 4322. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-71156-8_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-71156-8_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-71155-1
Online ISBN: 978-3-540-71156-8
eBook Packages: Computer ScienceComputer Science (R0)