The algorithmic analysis of hybrid systems
Theoretical Computer Science - Special issue on hybrid systems
SystemC: a modeling platform supporting multiple design abstractions
Proceedings of the 14th international symposium on Systems synthesis
Real-Time Systems: Design Principles for Distributed Embedded Applications
Real-Time Systems: Design Principles for Distributed Embedded Applications
Synchronous Programming of Reactive Systems
Synchronous Programming of Reactive Systems
Real-Time Systems and Programming Languages: ADA 95, Real-Time Java, and Real-Time POSIX
Real-Time Systems and Programming Languages: ADA 95, Real-Time Java, and Real-Time POSIX
The verifying compiler: A grand challenge for computing research
Journal of the ACM (JACM)
Communications of the ACM - Wireless sensor networks
Unified Modeling Language Reference Manual, The (2nd Edition)
Unified Modeling Language Reference Manual, The (2nd Edition)
Design for Timing Predictability
Real-Time Systems
Communications of the ACM
A Framework for Component-based Construction Extended Abstract
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Grand challenges in embedded software
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
A verification system for timed interval calculus
Proceedings of the 30th international conference on Software engineering
ModHel'X: A Component-Oriented Approach to Multi-Formalism Modeling
Models in Software Engineering
RTComposer: a framework for real-time components with scheduling interfaces
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
Throughput-driven synthesis of embedded software for pipelined execution on multicore architectures
ACM Transactions on Embedded Computing Systems (TECS)
Models in Software Engineering
Specifying and Composing Non-functional Requirements in Model-Based Development
SC '09 Proceedings of the 8th International Conference on Software Composition
On determinism in modal transition systems
Theoretical Computer Science
Modal interfaces: unifying interface automata and modal specifications
EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
Towards a time-triggered schedule calculation tool to support model-based embedded software design
EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
A Compositional Approach on Modal Specifications for Timed Systems
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
A verification system for interval-based specification languages
ACM Transactions on Software Engineering and Methodology (TOSEM)
Timed I/O automata: a complete specification theory for real-time systems
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
Co-simulation of distributed embedded real-time control systems
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Machine-assisted proof support for validation beyond Simulink
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems
A theory of sampling for continuous-time metric temporal logic
ACM Transactions on Computational Logic (TOCL)
Predictable actor-oriented design strategies for timing-centric distributed embedded software
CAR'10 Proceedings of the 2nd international Asia conference on Informatics in control, automation and robotics - Volume 2
Methodologies for specification of real-time systems using timed I/O automata
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
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
ACM SIGBED Review - Work-in-Progress (WiP) Session of the 23rd Euromicro Conference on Real-Time Systems (ECRTS 2011)
Formal verification of hybrid systems
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Modelling of complex software systems: a reasoned overview
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Synthesis of quantized feedback control software for discrete time linear hybrid systems
CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
Rigorous system design: the BIP approach
MEMICS'11 Proceedings of the 7th international conference on Mathematical and Engineering Methods in Computer Science
New results for Constraint Markov Chains
Performance Evaluation
Modal event-clock specifications for timed component-based design
Science of Computer Programming
Robust reachability in timed automata: a game-based approach
ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part II
A Modal Interface Theory for Component-based Design
Fundamenta Informaticae - Application of Concurrency to System Design, the Eighth Special Issue
EXPTIME-completeness of thorough refinement on modal transition systems
Information and Computation
On model based synthesis of embedded control software
Proceedings of the tenth ACM international conference on Embedded software
Semantics-preserving implementation of multirate mixed-criticality synchronous programs
Proceedings of the 20th International Conference on Real-Time and Network Systems
Modeling and analysis of CPU usage in safety-critical embedded systems to support stress testing
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Rigorous component-based system design
WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications
A proof system for compositional verification of probabilistic concurrent processes
FOSSACS'13 Proceedings of the 16th international conference on Foundations of Software Science and Computation Structures
Multiple real-time semantics on top of synchronous block diagrams
Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium
Journal of Systems Architecture: the EUROMICRO Journal
Cyber-physical system concepts for IT students
Proceedings of the 14th annual ACM SIGITE conference on Information technology education
Shrinktech: a tool for the robustness analysis of timed automata
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
Model-based synthesis of control software from system-level formal specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Abstract Probabilistic Automata
Information and Computation
Secure embedded system hardware design - A flexible security and trust enhanced approach
Computers and Electrical Engineering
Hi-index | 0.00 |
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap between safety-critical and best-effort engineering practices. We call for a coherent scientific foundation for embedded systems design, and we discuss a few key demands on such a foundation: the need for encompassing several manifestations of heterogeneity, and the need for constructivity in design. We believe that the development of a satisfactory Embedded Systems Design Science provides a timely challenge and opportunity for reinvigorating computer science.