Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
Formalizing architectural connection
ICSE '94 Proceedings of the 16th international conference on Software engineering
Frameworks = (components + patterns)
Communications of the ACM
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Concurrent Programming in Java: Design Principles and Patterns
Concurrent Programming in Java: Design Principles and Patterns
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
A framework for comparing models of computation
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Hierarchical finite state machines with multiple concurrency models
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
A CS/SE approach to a real-time embedded systems software development course
Proceedings of the thirty-second SIGCSE technical symposium on Computer Science Education
Interoperability as a design issue in C++ based modeling environments
Proceedings of the 14th international symposium on Systems synthesis
Performance-steered design of software architectures for embedded multicore systems
Software—Practice & Experience
IEEE Transactions on Software Engineering
A component-based approach to modeling and simulating mixed-signal and hybrid systems
ACM Transactions on Modeling and Computer Simulation (TOMACS)
A Framework for Using Benefit Functions In Complex Real Time Systems
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
To What Extent Can Computers Aid Human Activity? Toward Second Phase Information Technology
RSCTC '00 Revised Papers from the Second International Conference on Rough Sets and Current Trends in Computing
Hierarchical Hybrid Modeling of Embedded Systems
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Directions in Functional Programming for Real(-Time) Applications
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Usage Scenarios for an Automated Model Compiler
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Interface Theories for Component-Based Design
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Modeling Real-Time Systems-Challenges and Work Directions
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
System Level Tools for DSP in FPGAs
FPL '01 Proceedings of the 11th International Conference on Field-Programmable Logic and Applications
Fine-grain design space exploration for a cartographic SoC multiprocessor
ACM SIGARCH Computer Architecture News
A study of CodePack: optimizing embedded code space
Proceedings of the tenth international symposium on Hardware/software codesign
Time weaver: a software-through-models framework for embedded real-time systems
Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
Generating embedded software from hierarchical hybrid models
Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
Modular Code Generation from Hybrid Automata based on Data Dependency
RTAS '03 Proceedings of the The 9th IEEE Real-Time and Embedded Technology and Applications Symposium
Architecture-Based Semantic Evolution: A Study of Remotely Controlled Embedded Systems
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
SystemC
Architecture-based semantic evolution of embedded remotely controlled systems
Journal of Software Maintenance: Research and Practice
TinyGALS: a programming model for event-driven embedded systems
Proceedings of the 2003 ACM symposium on Applied computing
Future Generation Computer Systems - Special issue: Selected papers from the workshop on education in computational sciences held at the ICCS 2002
Proceedings of the conference on Design, automation and test in Europe - Volume 2
A model-driven approach for generating embedded robot navigation control software
ACM-SE 42 Proceedings of the 42nd annual Southeast regional conference
Adaptable architecture generation for embedded systems
Journal of Systems and Software - Special issue: Computer systems
Scaling into Ambient Intelligence
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Evaluation of the Hybrid Multithreading Programming Model using Image Processing Transforms
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 3 - Volume 04
Making object oriented efficient for embedded system applications
SBCCI '05 Proceedings of the 18th annual symposium on Integrated circuits and system design
High-level real-time programming in Java
Proceedings of the 5th ACM international conference on Embedded software
Semantics-based optimization across uncoordinated tasks in networked embedded systems
Proceedings of the 5th ACM international conference on Embedded software
A Multi-Formalism Modeling Composability Framework: Agent and Discrete-Event Models
DS-RT '05 Proceedings of the 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications
A Novel Penalty Controllable Dynamic Voltage Scaling Scheme for Mobile Multimedia Applications
IEEE Transactions on Mobile Computing
Time-triggered implementations of dynamic controllers
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Tic-Tac-LEGO: an investigation into coordinated robotic control
Proceedings of the 44th annual Southeast regional conference
Polychronous design of embedded real-time applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Bringing embedded software closer to computer science students
ACM SIGBED Review - Special issues on the second workshop on embedded system education (WESE)
Dispatch sequences for embedded control models
Journal of Computer and System Sciences
An interface test model for hardware-dependent software and embedded OS API of the embedded system
Computer Standards & Interfaces
Proceedings of the 2007 ACM symposium on Applied computing
The semantics of graphical languages
Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Object and method exploration for embedded systems applications
Proceedings of the 20th annual conference on Integrated circuits and systems design
Model-driven architecture for embedded software: A synopsis and an example
Science of Computer Programming
Applying patterns to build a lightweight middleware for embedded systems
Proceedings of the 2006 conference on Pattern languages of programs
Symbolic analysis for improving simulation coverage of Simulink/Stateflow models
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
RTComposer: a framework for real-time components with scheduling interfaces
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
An embedded implementation of the Common Language Infrastructure
Journal of Systems Architecture: the EUROMICRO Journal
Concept-based partitioning for large multidomain multifunctional embedded systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Automata based interfaces for control and scheduling
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
A concurrency abstraction for reliable sensor network applications
Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
An intermediate representation approach to reducing test suites for retargeted compilers
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
GALS-Designer: A design framework for GALS software systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Formal verification of hybrid systems
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Journal of Systems and Software
ICA3PP'11 Proceedings of the 11th international conference on Algorithms and architectures for parallel processing - Volume Part II
Bringing soccer to the field of real-time embedded systems education
WESE '11 Proceedings of the 6th Workshop on Embedded Systems Education
Component-Based design of embedded software: an analysis of design issues
FIDJI'04 Proceedings of the 4th international conference on Scientific Engineering of Distributed Java Applications
Embedded Systems Design
TraceDo: an on-chip trace system for real-time debug and optimization in multiprocessor soc
ISPA'06 Proceedings of the 4th international conference on Parallel and Distributed Processing and Applications
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
A smartphone watch for mobile surveillance service
Personal and Ubiquitous Computing
| Hi-index | 4.10 |
Most of today's gadgets and cars use embedded software, which in many cases has taken over what mechanical and dedicated electronic systems used to do. Indeed, embedded software appears in everything from telephones and pagers to systems for medical diagnostics, climate control, and manufacturing. The author believes that research computer scientists have largely ignored embedded software because it has not been sufficiently complex or general to warrant the effort. There are many re-search questions but most center around one issue: how to reconcile a set of domainspecific requirements with the demands of interaction in the physical world. How do you adapt software abstractions designed merely to transform data to meet requirements like realtime constraints, concurrency, and stringent safety considerations? The answer to this question has given rise to some promising research angles discussed in this article, including novel ways to deal with concurrency and real time, and methods for augmenting component interfaces to promote safety and adaptability.