Scheduling with optimized communication for time-triggered embedded systems
CODES '99 Proceedings of the seventh international workshop on Hardware/software codesign
Patience is a virtue: the effect of slack on competitiveness for admission control
Proceedings of the tenth annual ACM-SIAM symposium on Discrete algorithms
Turning clockwise: using UML in the real-time domain
Communications of the ACM
Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms
IEEE Transactions on Software Engineering
Software engineering for real-time: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Tolerance to Multiple Transient Faults for Aperiodic Tasks in Hard Real-Time Systems
IEEE Transactions on Computers
Embedded Control Systems Development with Giotto
OM '01 Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems
Automatic Real-Time Analysis of Reactive Systems with the PARTS Toolset
Automated Software Engineering
A Minimalist Fault-Tolerant Microcontroller Design for Embedded Spacecraft Computing
The Journal of Supercomputing - Special issue on embedded fault-tolerance systems
Verification of non-functional properties of a composable architecture with Petri nets
Fundamenta Informaticae
Economic Online Self-Test in the Time-Triggered Architecture
IEEE Design & Test
Timing Constraint Remapping to Achieve Time Equi-Continuity in Distributed Real-Time Systems
IEEE Transactions on Computers
Adaptive resource management algorithms for periodic tasks in dynamic real-time distributed systems
Journal of Parallel and Distributed Computing
EDCC-4 Proceedings of the 4th European Dependable Computing Conference on Dependable Computing
Model-Based Dependability Evaluation Method for TTP/C Based Systems
EDCC-4 Proceedings of the 4th European Dependable Computing Conference on Dependable Computing
Generative Programming for Embedded Systems
GPCE '02 Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering
On Group Communication Systems: Insight, a Primer, and a Snapshot
ICCS '01 Proceedings of the International Conference on Computational Sciences-Part I
Non-massive, Non-high Performance, Distributed Computing: Selected Issues
Euro-Par '02 Proceedings of the 8th International Euro-Par Conference on Parallel Processing
Giotto: A Time-Triggered Language for Embedded Programming
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
The Temporal Specification of Interfaces in Distributed Real-Time Systems
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Toward an Approximation Theory for Computerised Control
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
A Protocol for Loosely Time-Triggered Architectures
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Platform-Based Embedded Software Design for Multi-vehicle Multi-modal Systems
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
An Overview of Formal Verification for the Time-Triggered Architecture
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
LCTES '00 Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems
Complex Reactive Control with Simple Synchronous Models
LCTES '00 Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems
Distributed Fault-Tolerant and Safety-Critical Application in Vehicles - A Time-Triggered Approach
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
Increasing System Safety for By-Wire Applications in Vehicles by Using a Time Triggered Architecture
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
Hierarchically Performed Hazard Origin and Propagation Studies
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
A Survey on Safety-Critical Multicast Networking
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
Embedded Software Market Transformation through Reusable Frameworks
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Holistic scheduling and analysis of mixed time/event-triggered distributed embedded systems
Proceedings of the tenth international symposium on Hardware/software codesign
HARTEX: a safe real-time kernel for distributed computer control systems
Software—Practice & Experience
Schedulability-driven frame packing for multi-cluster distributed embedded systems
Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications
Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
On the Provision of Replicated Internet Auction Services
SRDS '99 Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems
Tolerating Transient Faults in Statically Scheduled Safety-Critical Embedded Systems
SRDS '99 Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems
On Inspection and Verification of Software with Timing Requirements
IEEE Transactions on Software Engineering
Design optimization of mixed time/event-triggered distributed embedded systems
Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Programming challenges in network processor deployment
Proceedings of the 2003 international conference on Compilers, architecture and synthesis for embedded systems
TinyGALS: a programming model for event-driven embedded systems
Proceedings of the 2003 ACM symposium on Applied computing
Scheduling Analysis Integration for Heterogeneous Multiprocessor SoC
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
An Analysable Bus-Guardian for Event-Triggered Communication
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
A Consensus Protocol for CAN-Based Systems
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
Design Optimization of Multi-Cluster Embedded Systems for Real-Time Applications
Proceedings of the conference on Design, automation and test in Europe - Volume 2
Designing embedded systems using patterns: a case study
Journal of Systems and Software - Special issue: Computer systems
Patience is a virtue: the effect of slack on competitiveness for admission control
Journal of Scheduling - Special issue: On-line algorithm part I
Admission control with immediate notification
Journal of Scheduling - Special issue: On-line scheduling
Fast, predictable and low energy memory references through architecture-aware compilation
Proceedings of the 2004 Asia and South Pacific Design Automation Conference
Loose synchronization of event-triggered networks for distribution of synchronous programs
Proceedings of the 4th ACM international conference on Embedded software
Proceedings of the 4th ACM international conference on Embedded software
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Design for Timing Predictability
Real-Time Systems
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
IEEE Transactions on Parallel and Distributed Systems
A Model-Based Approach for Executable Specifications on Reconfigurable Hardware
Proceedings of the conference on Design, Automation and Test in Europe - Volume 2
Design Optimization of Time-and Cost-Constrained Fault-Tolerant Distributed Embedded Systems
Proceedings of the conference on Design, Automation and Test in Europe - Volume 2
Schedulability-driven frame packing for multicluster distributed embedded systems
ACM Transactions on Embedded Computing Systems (TECS)
A Maintenance-Oriented Fault Model for the DECOS Integrated Diagnostic Architecture
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 2 - Volume 03
Virtual Gateways in the DECOS Integrated Architecture
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 2 - Volume 03
Facilitating Distributed Time-Triggered Simulation of Embedded Systems and Environments
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 10 - Volume 11
An FPGA-based coprocessor for real-time fieldbus traffic scheduling: architecture and implementation
Journal of Systems Architecture: the EUROMICRO Journal
Real-Time Systems
A programmable microkernel for real-time systems
Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments
Composable code generation for distributed giotto
LCTES '05 Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Transparent distribution of real-time components based on logical execution time
LCTES '05 Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Design and performance of a CAN-based connection-oriented protocol for Real-Time CORBA
Journal of Systems and Software - Special issue: Parallel and distributed real-time systems
Encyclopedia of Computer Science
Real-time component integration based on transparent distribution
SEAS '05 Proceedings of the second international workshop on Software engineering for automotive systems
A real time measure of software system families
3-WoSQ Proceedings of the third workshop on Software quality
Undergraduate embedded system education at Carnegie Mellon
ACM Transactions on Embedded Computing Systems (TECS)
Maximizing the Robustness of TDMA Networks with Applications to TTP/C
Real-Time Systems
IEEE Transactions on Computers
Translating discrete-time simulink to lustre
ACM Transactions on Embedded Computing Systems (TECS)
Optimal TDMA time slot and cycle length allocation for hard real-time systems
ASP-DAC '06 Proceedings of the 2006 Asia and South Pacific Design Automation Conference
Developing safety-critical real-time systems with SDL design patterns and components
Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
Proceedings of the conference on Design, automation and test in Europe: Proceedings
A time-triggered ethernet (TTE) switch
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Concurrency in Synchronous Systems
Formal Methods in System Design
Mode: a method for system-level architecture evaluation
Formal methods and models for system design
Building Reliable Mobile Applications with Space-Elastic Adaptation
WOWMOM '06 Proceedings of the 2006 International Symposium on on World of Wireless, Mobile and Multimedia Networks
Analysis and optimization of distributed real-time embedded systems
Proceedings of the 41st annual Design Automation Conference
Architecture-driven platform independent deterministic replay for distributed hard real-time systems
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
Automatic rate desynchronization of embedded reactive programs
ACM Transactions on Embedded Computing Systems (TECS)
Efficient computation of buffer capacities for multi-rate real-time systems with back-pressure
CODES+ISSS '06 Proceedings of the 4th international conference on Hardware/software codesign and system synthesis
Accurate yet fast modeling of real-time communication
CODES+ISSS '06 Proceedings of the 4th international conference on Hardware/software codesign and system synthesis
Time-triggered implementations of dynamic controllers
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
An analysis framework for network-code programs
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Communication by sampling in time-sensitive distributed systems
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Implementing fault-tolerance in real-time systems by automatic program transformations
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Dispatch sequences for embedded control models
Journal of Computer and System Sciences
Software synthesis for hard real-time embedded systems with multiple processors
ACM SIGSOFT Software Engineering Notes
Toward Integration Of Major Design Techniques For Real-Time Fault-Tolerant Computer Systems
Journal of Integrated Design & Process Science
Integration of multiple platforms for real-time remote model-based condition monitoring
Computers in Industry
Graduate Courses in Embedded and Real-Time Systems
IEEE Pervasive Computing
An integrated architecture for future car generations
Real-Time Systems
SCOPES '07 Proceedingsof the 10th international workshop on Software & compilers for embedded systems
JTRES '07 Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems
Channel trees: reducing latency by sharing time slots in time-multiplexed networks on chip
CODES+ISSS '07 Proceedings of the 5th IEEE/ACM international conference on Hardware/software codesign and system synthesis
CODES+ISSS '07 Proceedings of the 5th IEEE/ACM international conference on Hardware/software codesign and system synthesis
MOAS'07 Proceedings of the 18th conference on Proceedings of the 18th IASTED International Conference: modelling and simulation
A Verifiable Language for Programming Real-Time Communication Schedules
IEEE Transactions on Computers
International Journal of Ad Hoc and Ubiquitous Computing
Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications
Fundamenta Informaticae - The Fourth Special Issue on Applications of Concurrency to System Design (ACSD05)
Analysis and optimisation of hierarchically scheduled multiprocessor embedded systems
International Journal of Parallel Programming - Special Issue on Multiprocessor-based embedded systems
Composing heterogeneous reactive systems
ACM Transactions on Embedded Computing Systems (TECS)
Implementing fault-tolerance in real-time programs by automatic program transformations
ACM Transactions on Embedded Computing Systems (TECS)
Scheduling of fault-tolerant embedded systems with soft and hard timing constraints
Proceedings of the conference on Design, automation and test in Europe
The managed motorway: real-time vehicle scheduling: a research agenda
Proceedings of the 9th workshop on Mobile computing systems and applications
Extending the MaSE Methodology for the Development of Embedded Real-Time Systems
Languages, Methodologies and Development Tools for Multi-Agent Systems
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
Performance Analysis of Dynamic Priority Shifting
EPEW '08 Proceedings of the 5th European Performance Engineering Workshop on Computer Performance Engineering
Formal Specification of Gateways in Integrated Architectures
SEUS '08 Proceedings of the 6th IFIP WG 10.2 international workshop on Software Technologies for Embedded and Ubiquitous Systems
Time-predictable memory arbitration for a Java chip-multiprocessor
JTRES '08 Proceedings of the 6th international workshop on Java technologies for real-time and embedded systems
RTComposer: a framework for real-time components with scheduling interfaces
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
Managing redundancy in CAN-based networks supporting N-Version Programming
Computer Standards & Interfaces
CoMPSoC: A template for composable and predictable multi-processor system on chips
ACM Transactions on Design Automation of Electronic Systems (TODAES)
On the exploitation of loop-level parallelism in embedded applications
ACM Transactions on Embedded Computing Systems (TECS)
Programmable temporal isolation in real-time and embedded execution environments
Proceedings of the Second Workshop on Isolation and Integration in Embedded Systems
An Effective GA-Based Scheduling Algorithm for FlexRay Systems
IEICE - Transactions on Information and Systems
Distributed Computing Software Building-Blocks for Ubiquitous Computing Societies
IEICE - Transactions on Information and Systems
Specification and Analysis of Network Resource Requirements of Control Systems
HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
Reconfigurable Computing: The Theory and Practice of FPGA-Based Computation
Reconfigurable Computing: The Theory and Practice of FPGA-Based Computation
Supervision and Access Control System for Disabled Person's Homes
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part II: Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living
A standby-sparing technique with low energy-overhead for fault-tolerant hard real-time systems
CODES+ISSS '09 Proceedings of the 7th IEEE/ACM international conference on Hardware/software codesign and system synthesis
Quality-driven synthesis of embedded multi-mode control systems
Proceedings of the 46th Annual Design Automation Conference
Developing safety-critical real-time systems with SDL design patterns and components
Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
An architecture for assisted navigation in intelligent environments
International Journal of Communication Networks and Distributed Systems
From a federated to an integrated automotive architecture
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
MS '07 The 18th IASTED International Conference on Modelling and Simulation
The GENESYS Architecture: A Conceptual Model for Component-Based Distributed Real-Time Systems
SEUS '09 Proceedings of the 7th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems
Lifting the Level of Abstraction Dealt with in Programming of Networked Embedded Computing Systems
SEUS '09 Proceedings of the 7th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems
Dynamic processor allocation for multiple RHC systems in multi-core computing environments
ACC'09 Proceedings of the 2009 conference on American Control Conference
Research and implementation of intelligent information appliances based on IPV6
CCDC'09 Proceedings of the 21st annual international conference on Chinese control and decision conference
The function block model in embedded control and automation from IEC61131 to IEC61499
WSEAS Transactions on Computers
Temperature controlling and data logging using embedded system
Proceedings of the International Conference and Workshop on Emerging Trends in Technology
Software fault tolerance: an overview
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
A Byzantine-fault tolerant self-stabilizing protocol for distributed clock synchronization systems
SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
Automata based interfaces for control and scheduling
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Approaches for inheritance in the TMO programming scheme
Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
Learning from the past for resolving dilemmas of asynchrony
ACM SIGOPS Operating Systems Review
SEUS'07 Proceedings of the 5th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems
Scheduling in time-triggered networks
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems - Volume Part II
An omnidirectional vision system for soccer robots
EPIA'07 Proceedings of the aritficial intelligence 13th Portuguese conference on Progress in artificial intelligence
Ubiquitous healthcare system using context information based on the DOGF
ICHIT'06 Proceedings of the 1st international conference on Advances in hybrid information technology
Recent additions on the application programming interface of the TMO support middleware
Proceedings of the 13th Monterey conference on Composition of embedded systems: scientific and industrial issues
Integrating automotive applications using overlay networks on top of a time-triggered protocol
Proceedings of the 13th Monterey conference on Composition of embedded systems: scientific and industrial issues
Robustness analysis for the certification of digital controller implementations
Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems
ISSRE'09 Proceedings of the 20th IEEE international conference on software reliability engineering
Algorithms for sensor and ad hoc networks: advanced lectures
Algorithms for sensor and ad hoc networks: advanced lectures
Modeling shared cache and bus in multi-cores for timing analysis
Proceedings of the 13th International Workshop on Software & Compilers for Embedded Systems
A real-time Java chip-multiprocessor
ACM Transactions on Embedded Computing Systems (TECS)
The aethereal network on chip after ten years: goals, evolution, lessons, and future
Proceedings of the 47th Design Automation Conference
Proceedings of the 47th Design Automation Conference
An extensible software framework for reliable distributed embedded system modeling
CAR'10 Proceedings of the 2nd international Asia conference on Informatics in control, automation and robotics - Volume 2
Task migration for fault-tolerance in mixed-criticality embedded systems
ACM SIGBED Review - Special Issue on the 2nd International Workshop on Adaptive and Reconfigurable Embedded Systems (APRES'09)
A fast stereo matching algorithm suitable for embedded real-time systems
Computer Vision and Image Understanding
Low cost multicast authentication via validity voting in time-triggered embedded control networks
WESS '10 Proceedings of the 5th Workshop on Embedded Systems Security
Remote measurement of local oscillator drifts in FlexRay networks
Proceedings of the Conference on Design, Automation and Test in Europe
Model-based specification of timing requirements
EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
Managing embedded systems complexity with aspect-oriented model-driven engineering
ACM Transactions on Embedded Computing Systems (TECS)
Design principles for developing stream processing applications
Software—Practice & Experience - Focus on Selected PhD Literature Reviews in the Practical Aspects of Software Technology
SEUS'10 Proceedings of the 8th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems
Seamless model-driven development put into practice
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
SPARDL: a requirement modeling language for periodic control system
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
Design choices for high-confidence distributed real-time software
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Schedulability analysis for systems with data and control dependencies
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
Reliability-driven deployment optimization for embedded systems
Journal of Systems and Software
Resource constrained LQR control under fast sampling
Proceedings of the 14th international conference on Hybrid systems: computation and control
I4Copter: an adaptable and modular quadrotor platform
Proceedings of the 2011 ACM Symposium on Applied Computing
Composable local memory organisation for streaming applications on embedded MPSoCs
Proceedings of the 8th ACM International Conference on Computing Frontiers
Reliability analysis for MPSoCs with mixed-critical, hard real-time constraints
CODES+ISSS '11 Proceedings of the seventh IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Accurate real-time neural disparity MAP estimation with FPGA
Pattern Recognition
THE RTSC: MIGRATING EVENT-TRIGGERED SYSTEMS TO TIME-TRIGGERED SYSTEMS
Software—Practice & Experience
Software—Practice & Experience
Embedded system design 2.0: rationale behind a textbook revision
WESE '11 Proceedings of the 6th Workshop on Embedded Systems Education
Real-Time adaptive fuzzy motivations for evolutionary behavior learning by a mobile robot
MICAI'06 Proceedings of the 5th Mexican international conference on Artificial Intelligence
Encapsulating application subsystems using the DECOS core OS
SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
On collaboratively conveying computer science to pupils
Proceedings of the 11th Koli Calling International Conference on Computing Education Research
Increasing dependability by means of model-based acceptance test inside RTOS
PPAM'05 Proceedings of the 6th international conference on Parallel Processing and Applied Mathematics
Approximation, sampling and voting in hybrid computing systems
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Implementation of timed automata: an issue of semantics or modeling?
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
Prediction efficiency in predictive p-CSMA/CD
EUC'06 Proceedings of the 2006 international conference on Emerging Directions in Embedded and Ubiquitous Computing
ICAT'06 Proceedings of the 16th international conference on Advances in Artificial Reality and Tele-Existence
Computer assisted source-code parallelisation
ICCSA'06 Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part V
Embedded Systems Design
Embedded Systems Design
Current design practice and needs in selected sectors
Embedded Systems Design
Embedded Systems Design
PCM'04 Proceedings of the 5th Pacific Rim Conference on Advances in Multimedia Information Processing - Volume Part II
Incorporating temporal constraints in the planning task of a hybrid intelligent IDS
HAIS'10 Proceedings of the 5th international conference on Hybrid Artificial Intelligence Systems - Volume Part II
Efficiency of dynamic arbitration in TDMA protocols
EDCC'05 Proceedings of the 5th European conference on Dependable Computing
Scheduling fixed-priority hard real-time tasks in the presence of faults
LADC'05 Proceedings of the Second Latin-American conference on Dependable Computing
Clock synchronization issues in multi-cluster time-triggered networks
MMB&DFT'10 Proceedings of the 15th international GI/ITG conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance
Control co-design: algorithms and their implementation
Ada-Europe'10 Proceedings of the 15th Ada-Europe international conference on Reliable Software Technologies
The embedded systems design challenge
FM'06 Proceedings of the 14th international conference on Formal Methods
A formal component framework for distributed embedded systems
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
Bus scheduling for TDL components
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
SDL'11 Proceedings of the 15th international conference on Integrating System and Software Modeling
SDL'11 Proceedings of the 15th international conference on Integrating System and Software Modeling
State-based scheduling with tree schedules: analysis and evaluation
Real-Time Systems
Time-Triggered Implementations of Dynamic Controllers
ACM Transactions on Embedded Computing Systems (TECS) - Special Section on CAPA'09, Special Section on WHS'09, and Special Section VCPSS' 09
Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications
Fundamenta Informaticae - The Fourth Special Issue on Applications of Concurrency to System Design (ACSD05)
Verification of Non-functional Properties of a Composable Architecture with Petrinets
Fundamenta Informaticae - Concurrency Specification and Programming Workshop (CS&P'2001)
RT-MOVICAB-IDS: Addressing real-time intrusion detection
Future Generation Computer Systems
Messaging patterns for distributed machine control systems
Proceedings of the 16th European Conference on Pattern Languages of Programs
An approach supporting fault-propagation analysis for smart sensor systems
SAFECOMP'12 Proceedings of the 2012 international conference on Computer Safety, Reliability, and Security
Towards secure time-triggered systems
SAFECOMP'12 Proceedings of the 2012 international conference on Computer Safety, Reliability, and Security
SAM'12 Proceedings of the 7th international conference on System Analysis and Modeling: theory and practice
Performance analysis of a rule-based SOA component for real-time applications
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Proceedings of the Conference on Design, Automation and Test in Europe
Tessellation: refactoring the OS around explicit resource containers with continuous adaptation
Proceedings of the 50th Annual Design Automation Conference
Stochastic response-time guarantee for non-preemptive, fixed-priority scheduling under errors
Proceedings of the 50th Annual Design Automation Conference
IWANN'13 Proceedings of the 12th international conference on Artificial Neural Networks: advances in computational intelligence - Volume Part I
Ensuring fault-tolerant computations in distributed control systems
Automation and Remote Control
Journal of Systems Architecture: the EUROMICRO Journal
Microprocessors & Microsystems
Hi-index | 0.03 |
From the Publisher:Real-Time Systems: Design Principles for Distributed Embedded Applications focuses on hard real-time systems, which are computing systems that must meet their temporal specification in all anticipated load and fault scenarios. The book stresses the system aspects of distributed real-time applications, treating the issues of real-time, distribution and fault-tolerance from an integral point of view. A unique cross-fertilization of ideas and concepts between the academic and industrial worlds has led to the inclusion of many insightful examples from industry to explain the fundamental scientific concepts in a real-world setting. Thus, this book serves as an excellent text for advanced level courses on real-time systems. Real-Time Systems: Design Principles for Distributed Embedded Applications also serves as an invaluable reference for professionals in industry. The book explains the relevance of the latest scientific insights to the solution of everyday problems in the design and implementation of distributed and embedded real-time systems. Thus, as a reference source the book presents state-of-the-art real-time technology in a coherent, concise and understandable manner. Because the cost-effectiveness of a particular method is of major concern in an industrial setting, design decisions are examined from an economic viewpoint. The recent appearance of cost-effective powerful system chips has tremendous influence on the architecture and economics of future distributed system solutions. The composability of an architecture, i.e., the capability to build dependable large systems out of pre-tested components with minimal integration effort, is one of thegreat challenges for designers of the next generation of real-time systems. The topic of composability is thus a recurring theme throughout the book. Real-Time Systems: Design Principles for Distributed Embedded Applications is essential reading for anyone involved in the field of real-time systems.