Proceeding of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications - OOPSLA '09, 2009
In this paper, we describe an approach for creating semantic wiki pages from regular wiki pages, ... more In this paper, we describe an approach for creating semantic wiki pages from regular wiki pages, in the domain of scientific museums, using information extraction methods in general and named entity recognition in particular. We make use of a domain specific ontology called CIDOC-CRM as a base structure for representing and processing knowledge. We have described major components of the proposed approach and a three-step process involving name entity recognition, identifying domain classes using the ontology and establishing the properties for the entities in order to generate semantic wiki pages. Our initial evaluation of the prototype shows promising results in terms of enhanced efficiency and time and cost benefits.
This article deals with performance verification of architecture models of real-time embedded sys... more This article deals with performance verification of architecture models of real-time embedded systems. We investigate scheduling analysis of multi-tasks applications running on real-time operating systems (RTOS in this article). Scheduling analysis on these types of system can be performed with the real-time scheduling theory, but applying it is a complicated task. To allow designer to automatically apply this theory, we propose several architectural design patterns. Each architectural design pattern models a classical task synchronization or communication protocol available in RTOSes. In this article, we focus on those design patterns composition. We show how to compose the proposed design patterns and how scheduling analysis can be run with them.
Réseaux de Capteurs et Applications au développement durable. Exposition de 9 posters destinés au grand public (http://wsn. univ-brest. fr/ForumDurable)
ABSTRACT Sensibilisation à l'usage des réseaux de capteur dans la société et l'éc... more ABSTRACT Sensibilisation à l'usage des réseaux de capteur dans la société et l'économie
Faciliter la vérification et la validation de méta-modèles dans le cadre de l’ingénierie dirigée par les modèles: une approche agile, outillée et orientée données
This article presents the use of Platypus for the reengineering of a data processing line dedicat... more This article presents the use of Platypus for the reengineering of a data processing line dedicated to the mechanical study of codends of fishing nets (PREMECS II EU project). Platypus is a STEPbased meta environment. The STEP technology is used for metamodels and models management.
Attributed comment" pattern shows how to integrate comments into a metamodel MOTS-CLÉS : métamodè... more Attributed comment" pattern shows how to integrate comments into a metamodel MOTS-CLÉS : métamodèle, commentaire
Les langages à domaine spécifique (DSL) ne sont pas nécessairement purement déclaratifs. Ils peuv... more Les langages à domaine spécifique (DSL) ne sont pas nécessairement purement déclaratifs. Ils peuvent intégrer des aspects procéduraux dont l'analyse passe par la construction d'un graphe de flot de contrôle. Le motif «Flot de contrôle» permet de construire la syntaxe abstraite d'un DSL procédural disposant d'instructions de branchement. ABSTRACT. Domain Specific Languages (DSL) are not necessarily purely declarative. They can have procedural features in which case their analysis implies the building of a control flow graph. The model pattern "Control Flow Graph" (CFG) describes the way to build the abstract syntax of a procedural DSL provided with branch instructions. MOTS-CLÉS : flot de contrôle, DSL, langage procedural, syntaxe abstraite
Résumé—Cet article traite de la vérification de modeles d'architectures de systemes ... more Résumé—Cet article traite de la vérification de modeles d'architectures de systemes embarqués temps réel par la théorie de l'ordonnancement temps réel. Il présente une approche s' articulant autours de la définition de patrons de conception spécifiques aux architectures temps réel et permettant une vérification automatisée d'ordonnançabilité. La vérification se base sur des tests de faisabilité existants, mais dont la sélection est déduite de la conformité du systemea un patron de conception et de ses propriétés. Ces contrôles ...
This is the author version if the article number 11ATC-0336 of the SAE 2011 Aerotech congress. Th... more This is the author version if the article number 11ATC-0336 of the SAE 2011 Aerotech congress. This is a prior version of the paper published in the conference proceedings. For the actual paper, readers must retrieve the paper from the SAE web site.
Uploads
Papers by Alain Plantec