Embedded System Applications

1 The Joint Systems/Software Engineering Environment (Josee) Concept at Lockheed Martin Aeronautical Systems.- 2 Current Modeling in Vital.- 3 Edgar: A Platform for Hardware/Software Codesign.- 4 Hierarchical Multi-Views Modeling Concepts for Discrete Event Systems Simulation.- 5 A Formal System for Correct Hardware Design.- 6 Integration of Behavioral Testability Metrics in High Level Synthesis.- 7 Evaluation of an Integrated High-Level Synthesis Method.- 8 Combinatorial Criteria Over Graphs of Specification to Decide Synthesis by Sequential Circuits.- 9 Automatic Generation and Optimisation of Markov Matrices.- 10 Fault Modeling in Space-Borne Reconfigurable Microelectronic Systems.- 11 Prevention of Replication Induced Failures in the Context of Integrated Modular Avionics.- 12 Petri Net Modeling and Behavioral Fault Modeling Scheme for Vhdl Descriptions.- 13 Catsat’s Soft X-Ray Detection System: An Innovative and Cost Effective Approach.- 14 Petri Nets for a Space Operational System Availability Study.- 15 Results of Low-Cost Propulsion System Research for Small Satellite Application.- 16 Multiple Technology Choices for a Mixed Analog-Digital Space Radio-Astronomy Spectrometer.- 17 Design and Realization of a Synchronous Cooperative Shared Electronic Board.- 18 Importance of Specification Means to Design Integrated Modular Avionics Systems.- 19 Industrial Cooperation: Definition, Interest and Dynamic Evolution.- 20 Multimedia Educational Issues in a Variety of Learning Contexts.- 21 Surf-2 a Tool for Dependability Modeling and Evaluation.- 22 Submicron Circuit Design on PC.