A FORMAL METHODOLOGY TO TEST COMPLEX EMBEDDED SYSTEMS: APPLICATION TO INTERACTIVE DRIVING SYSTEM
AN ENERGY-AWARE EXPLORATION APPROACH BASED ON OPEN SOFTWARE ENVIRONMENT
TEMPORAL GRAPH PLACEMENT ON MESH-BASED COARSE GRAIN RECONFIGURABLE SYSTEMS USING THE SPECTRAL METHOD
ABSTRACT COMMUNICATION MODELING
MECHATRONICS DESIGN AND VERIFICATION
ENHANCING INTERACTION SUPPORT IN THE CORBA COMPONENT MODEL
ENSURING HIGH QUALITY IN SPECIFICATIONS FOR AUTOMOTIVE EMBEDDED CONTROL SYSTEMS
OBJECT ORIENTATION PROBLEMS WHEN APPLIED TO THE EMBEDDED SYSTEMS DOMAIN
PARTITIONING METRICS FOR IMPROVED PERFORMANCE AND ECONOMY OF DISTRIBUTED EMBEDDED SYSTEMS
AN EMBEDDED SW DESIGN EXPLORATION APPROACH BASED ON UML ESTIMATION TOOLS
TOWARDS A REAL-TIME COMMUNICATION NETWORK FOR AUTONOMOUS RAIL VEHICLES
ENERGY MANAGEMENT FOR THE TELEPRESENCE SYSTEM TSR
A JITTER-FREE OPERATIONAL ENVIRONMENT FOR DEPENDABLE EMBEDDED SYSTEMS
TOC-BISR: A SELF-REPAIR SCHEME FOR MEMORIES IN EMBEDDED SYSTEMS
ADAPTABLE SWITCH BOXES AS ON-CHIP ROUTING NODES FOR NETWORKS-ON-CHIP
COMPONENT CASE STUDY OF A SELF-OPTIMIZING RCOS/RTOS SYSTEM
FROM MODEL TO REQUIREMENTS: PATTERN-BASED ANALYSIS IN DISTRIBUTED DEVELOPMENT OF EMBEDDED SYSTEMS
INTEGRATION OF TWO COMPLEMENTARY TIME-TRIGGERED TECHNOLOGIES: TMO AND TTP
TOWARDS RUN-TIME PARTITIONING OF A REAL TIME OPERATING SYSTEM FOR RECONFIGURABLE SYSTEMS ON CHIP
FUNCTIONAL VERIFICATION FOR UML - BASED MODEL DRIVEN DESIGN OF EMBEDDED SYSTEMS