Component-Based Software Engineering for Embedded Systems
Ivica Crnkovic
Professor in Software Engineering - Industrial SE
Mälardalen University, Department of Computer Science and Electronics Mälardalens högskola, IDE, Box 883
SE-721 23 Västerås, Sweden [email protected]
ABSTRACT. Component-based development (CBD) is established as a standard approach in many domains. Although attractive, CBD has not been widely adopted in domains of embedded systems. Embedded systems are computer systems that are parts of larger systems providing with services these systems. They vary from ultra small devices to large distributed systems.
The experience has shown that existing technologies in most cases cannot be directly used for development of embedded systems. The main reason is inability of these technologies to cope with the important concerns of embedded systems, such as resource constraints, real-time or dependability requirements. However an increasing understanding of principles of CBD makes it possible to utilize these principles in implementation of different component-based models more appropriate for embedded systems. There is also a limited possibility to provide some adaptations of general-purpose component-based systems, either by restricting or by building additional support. The aim of this talk is to point to the opportunity of applying this approach for development and maintenance of embedded systems. The talk gives insights into basic principles of CBD, the main concerns and characteristics of embedded systems and possible directions of adaptation of component-based approach for these systems. Different types of embedded systems and approaches for applying CBD are presented and illustrated by examples from research and practices. Also, challenges and research directions of CBD for embedded systems are discussed.
KEYWORDS:Component-based development (CBD), embedded systems
Cet article des Editions Lavoisier est disponible en acces libre et gratuit sur objet.revuesonline.com
Gestion des Connaissances,
Web sémantique et Graphes conceptuels
Rose Dieng
Responsable scientifique du projet ACACIA INRIA – 2004, route des Lucioles – BP 93 F-06902 Sophia Antipolis Cedex
RÉSUMÉ.Une approche possible pour la gestion des connaissances dans une organisation est la construction d’une mémoire d’entreprise. En nous inspirant de la vision du Web sémantique proposée par Tim Berners-Lee, nous étudierons comment matérialiser cette mémoire sous forme d’un "Web sémantique d’entreprise" comprenant des ressources (documents, personnes, logi- ciels, services), des ontologies décrivant le vocabulaire conceptuel partagé dans cette organisa- tion et des annotations sémantiques sur ces ressources (par exemple sur le contenu sémantique des documents, sur les compétences des personnes, sur les caractéristiques des logiciels). Au niveau représentation des connaissances, nous montrerons l’intérêt du formalisme des graphes conceptuels en particulier via sa traduction vers RDF(S) et les raisonnements ainsi permis.
Cette approche "Web sémantique d’entreprise" sera illustrée par le moteur de recherche Co- rese développé par l’équipe Acacia et par plusieurs applications dans le cadre de différents scénarios de mémoire organisationnelle : la mémoire de projet, la mémoire d’expériences dans une communauté scientifique, l’aide au travail coopératif et la veille technologique et la carto- graphie des compétences.
MOTS-CLÉS :Gestion des connaissances, mémoire d’entreprise, web sémantique, représentation des connaissances, graphes conceptuels, RDF(S), CORESE
Cet article des Editions Lavoisier est disponible en acces libre et gratuit sur objet.revuesonline.com
Test et diagnostic
Des objets aux modèles
Yves Le Traon
Maître de conférences IRISA
Campus de Beaulieu 35042 Rennes cedex, France
[email protected] et [email protected]
RÉSUMÉ. Le test vise à détecter des erreurs et le diagnostic à en déterminer la cause et la loca- lisation en vue de la correction.
Il est avéré que ces activités sont essentielles puisqu’elles constituent le principal moyen d’ob- tention d’un niveau de confiance dans le logiciel livré. Il est aussi évident que les progrès dans ces domaines sont lents, relativement à l’évolution des paradigmes et domaines d’application.
Dans le cadre orienté-objet, la communauté du test a d’abord considéré ce paradigme comme suspect et risquant de produire des systèmes peu testables. La pratique montre qu’il n’en n’est rien, pourvu que ces systèmes soient proprement conçus. Toutefois, la manière de tester change profondément par rapport au paradigme procédural classique.
Le but de cette conférence est de présenter et d’illustrer :
– en quoi le paradigme objet oblige à repenser/réadapter les techniques de test et de diag- nostic, et cela au niveau unitaire, intégration et système (pour reprendre une classification admise).
– pourquoi conception et test sont fortement liés, et quelles sont les pistes pour avoir une conception testable.
– en quoi le passage du paradigme objet au paradigme modèle (Ingénierie des Modèles) suscite de nouvelles inquiétudes et en corrolaire de passionnants problèmes de test et de diag- nostic.
MOTS-CLÉS :Test, diagnostic, exigences, UML, mutation, MDA.
