Embedded Software

Effective design of embedded computer systems requires considering information from multiple domains in a model-centered approach. Using a model-centered approach, the system designer defines and composes models representing multiple system perspectives throughout the design, implementation and testing process. Rosetta is a heterogeneous systems-level modeling language designed to support specification and analysis of complex, computer-based systems. Rosetta provides a model-centered specification capability that allows specifiers to define and combine system models. Users define models, called facets, and assemble those models to define components and systems using facet composition. Each facet model is written with reference to a domain that defines a vocabulary and semantics for the model definition. To model interaction between specifications from different domains, Rosetta provides an interaction definition mechanism based on institution theory. The Rosetta model-centered specification approach allows systems designers to specify many domains of interest from many perspectives and supports predictive design analysis at the systems-level.

[1]  Christian Ferdinand,et al.  Cache behavior prediction for real-time systems , 1997 .

[2]  John Lygeros,et al.  Hybrid Control Models of Next Generarion AIr Traffic Management , 1996, Hybrid Systems.

[3]  Fred B. Schneider,et al.  Implementing fault-tolerant services using the state machine approach: a tutorial , 1990, CSUR.

[4]  Joseph Sifakis,et al.  On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract) , 1995, STACS.

[5]  J. Robin B. Cockett,et al.  Strong Categorical Datatypes II: A Term Logic for Categorical Programming , 1995, Theor. Comput. Sci..

[6]  Tom Saulpaugh,et al.  Inside the JavaOS operating system , 1999 .

[7]  Don Kimber,et al.  FlyCam: practical panoramic video and automatic camera control , 2000, 2000 IEEE International Conference on Multimedia and Expo. ICME2000. Proceedings. Latest Advances in the Fast Changing World of Multimedia (Cat. No.00TH8532).

[8]  Walid Taha,et al.  Multi-Stage Programming: Its Theory and Applications , 1999 .

[9]  EDDIE KOHLER,et al.  The click modular router , 2000, TOCS.

[10]  Vivek Sarkar,et al.  Baring It All to Software: Raw Machines , 1997, Computer.

[11]  Aloysius Ka-Lau Mok,et al.  Fundamental design problems of distributed systems for the hard-real-time environment , 1983 .

[12]  Jean-Claude Raoult,et al.  Operational and Semantic Equivalence Between Recursive Programs , 1980, JACM.

[13]  Pravin Varaiya,et al.  SmartAHS: A simulation framework for automated vehicles and highway systems , 1998 .

[14]  Bertrand Meyer,et al.  Component-Based Development: From Buzz to Spark - Guest Editors' Entroduction , 1999, Computer.

[15]  Paul Hudak,et al.  Functional reactive programming from first principles , 2000, PLDI '00.

[16]  Karl Crary,et al.  Resource bound certification , 2000, POPL '00.

[17]  Nsf Ncr,et al.  A Generalized Processor Sharing Approach to Flow Control in Integrated Services Networks: The Single Node Case* , 1991 .

[18]  Philip M. Thambidurai,et al.  Interactive consistency with multiple failure modes , 1988, Proceedings [1988] Seventh Symposium on Reliable Distributed Systems.

[19]  D S Wills,et al.  Focal-plane processing architectures for real-time hyperspectral image processing. , 2000, Applied optics.

[20]  James F. Ready VRTX: A Real-Time Operating System for Embedded Microprocessor Applications , 1986, IEEE Micro.

[21]  George J. Pappas,et al.  Discrete abstractions of hybrid systems , 2000, Proceedings of the IEEE.

[22]  John C. Mitchell,et al.  Foundations for programming languages , 1996, Foundation of computing series.

[23]  W. Wolf,et al.  VLSI architectures for distributed smart cameras , 2003, International Conference on Information Technology: Research and Education, 2003. Proceedings. ITRE2003..

[24]  Ulrich Herzog,et al.  Stochastic process algebras as a tool for performance and dependability modelling , 1995, Proceedings of 1995 IEEE International Computer Performance and Dependability Symposium.

[25]  Reinhard Wilhelm,et al.  Cache Behavior Prediction by Abstract Interpretation , 1996, Sci. Comput. Program..

[26]  D. H. Bartley,et al.  Revised4 report on the algorithmic language scheme , 1991, LIPO.

[27]  Rahul Razdan,et al.  PRISC: programmable reduced instruction set computers , 1994 .

[28]  Paul Hudak,et al.  Functional reactive animation , 1997, ICFP '97.

[29]  Thomas A. Henzinger,et al.  A reusable and platform-independent framework for distributed control systems , 2001, 20th DASC. 20th Digital Avionics Systems Conference (Cat. No.01CH37219).

[30]  Gordon D. Plotkin,et al.  A Powerdomain Construction , 1976, SIAM J. Comput..

[31]  Jay Lepreau,et al.  The Flux OSKit: a substrate for kernel and language research , 1997, SOSP.

[32]  Andrew Donald Gordon,et al.  Functional programming and input/output , 1995 .

[33]  Dale A. Mackall Development and flight test experiences with a flight-crucial digital control system , 1988 .

[34]  Andrew Pitts,et al.  Semantics and Logics of Computation: Operationally-Based Theories of Program Equivalence , 1997 .

[35]  Nancy G Leveson,et al.  Software safety: why, what, and how , 1986, CSUR.

[36]  Philip Wadler,et al.  The marriage of effects and monads , 1998, ICFP '98.

[37]  Edward A. Lee,et al.  System-Level Types for Component-Based Design , 2001, EMSOFT.

[38]  Scott Shenker,et al.  General Characterization Parameters for Integrated Service Network Elements , 1997, RFC.

[39]  Mark Shand,et al.  Programmable active memories: reconfigurable systems come of age , 1996, IEEE Trans. Very Large Scale Integr. Syst..

[40]  Marco Spuri,et al.  Efficient aperiodic service under earliest deadline scheduling , 1994, 1994 Proceedings Real-Time Systems Symposium.

[41]  J. Sethian,et al.  Fronts propagating with curvature-dependent speed: algorithms based on Hamilton-Jacobi formulations , 1988 .

[42]  Vivek Sarkar,et al.  Space-time scheduling of instruction-level parallelism on a raw machine , 1998, ASPLOS VIII.

[43]  Douglas C. Schmidt,et al.  An overview of the Real-Time CORBA specification , 2000, Computer.

[44]  Amir Pnueli,et al.  Symbolic Controller Synthesis for Discrete and Timed Systems , 1994, Hybrid Systems.

[45]  Paul Hudak,et al.  Real-time FRP , 2001, ICFP '01.

[46]  Leslie Lamport,et al.  Time, clocks, and the ordering of events in a distributed system , 1978, CACM.

[47]  Rowan Davies A temporal-logic approach to binding-time analysis , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

[48]  Dawson R. Engler,et al.  Exokernel: an operating system architecture for application-level resource management , 1995, SOSP.

[49]  Luca Cardelli,et al.  Typeful Programming , 1989, Formal Description of Programming Concepts.

[50]  Radu Negulescu,et al.  Process spaces and formal verification of asynchronous circuits , 1998 .

[51]  Jürgen Teich,et al.  Evolutionary algorithms for the synthesis of embedded software , 2000, IEEE Trans. Very Large Scale Integr. Syst..

[52]  George J. Pappas,et al.  Reachability computation for linear hybrid systems , 1999 .

[53]  Koen Claessen Embedded Languages for Describing and Verifying Hardware , 2001 .

[54]  Peter J Seiler,et al.  Mesh stability of unmanned aerial vehicle clusters , 2001, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148).

[55]  Robert Glück,et al.  Fast Binding-Time Analysis for Multi-Level Specialization , 1996, Ershov Memorial Conference.

[56]  Richard Sharp,et al.  A Statically Allocated Parallel Functional Language , 2000, ICALP.

[57]  Gérard Berry,et al.  Real Time Programming: Special Purpose or General Purpose Languages , 1989, IFIP Congress.

[58]  W. Whitt Weak convergence theorems for priority queues: preemptive-resume discipline , 1971, Journal of Applied Probability.

[59]  Gérard Berry,et al.  The constructive semantics of pure esterel , 1996 .

[60]  Dan Hildebrand,et al.  An Architectural Overview of QNX , 1992, USENIX Workshop on Microkernels and Other Kernel Architectures.

[61]  Nicolas Halbwachs,et al.  LUSTRE: A declarative language for programming synchronous systems* , 1987 .

[62]  Gabor Karsai,et al.  Towards Two-Level Formal Modeling of Computer-Based Systems , 2000, J. Univers. Comput. Sci..

[63]  Giorgio Buttazzo,et al.  Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications , 1997 .

[64]  David Mosberger,et al.  Bert: a scheduler for best-effort and realtime paths , 1998 .

[65]  Florian Martin,et al.  PAG – an efficient program analyzer generator , 1998, International Journal on Software Tools for Technology Transfer.

[66]  Thomas A. Henzinger,et al.  Automatic symbolic verification of embedded systems , 1993, 1993 Proceedings Real-Time Systems Symposium.

[67]  Leslie Lamport,et al.  Reaching Agreement in the Presence of Faults , 1980, JACM.

[68]  Christoph Kreitz,et al.  The Nuprl Open Logical Environment , 2000, CADE.

[69]  Henrik Theiling,et al.  Extracting safe and precise control flow from binaries , 2000, Proceedings Seventh International Conference on Real-Time Computing Systems and Applications.

[70]  Kevin Jeffay,et al.  A comparative study of the realization of rate-based computing services in general purpose operating systems , 2000, Proceedings Seventh International Conference on Real-Time Computing Systems and Applications.

[71]  K. H. Kim,et al.  Temporal uncertainties in interactions among real-time objects , 1990, Proceedings Ninth Symposium on Reliable Distributed Systems.

[72]  Steve Vestal,et al.  Fixed-Priority Sensitivity Analysis for Linear Compute Time Models , 1994, IEEE Trans. Software Eng..

[73]  Leslie Lamport,et al.  The Byzantine Generals Problem , 1982, TOPL.

[74]  Alessandro Forin,et al.  MMLite: a highly componentized system architecture , 1998, EW 8.

[75]  Gérard Berry,et al.  The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..

[76]  Douglas C. Schmidt,et al.  The design of the TAO real-time object request broker , 1998, Comput. Commun..

[77]  Lothar Thiele,et al.  Characterizing Variable Task Releases and Processor Capacities , 1999 .

[78]  Pam Binns Incremental rate monotonic scheduling for improved control system performance , 1997, Proceedings Third IEEE Real-Time Technology and Applications Symposium.

[79]  Christoph Kreitz,et al.  Building reliable, high-performance communication systems from components , 2000, OPSR.

[80]  Christopher D. Gill,et al.  Comparing and contrasting adaptive middleware support in wide-area and embedded distributed object applications , 2001, Proceedings 21st International Conference on Distributed Computing Systems.

[81]  Joseph Sifakis,et al.  Use of Petri nets for performance evaluation , 1977, Acta Cybern..

[82]  Krishna M. Kavi,et al.  Reliability analysis of CSP specifications - A new method using Petri nets , 1995 .

[83]  Robert H. Thomas,et al.  The Architecture of the Cronus Distributed Operating System , 1986, IEEE International Conference on Distributed Computing Systems.

[84]  M. Hofmann A Type System for Bounded Space and Functional In-Place Update , 2000, Nord. J. Comput..

[85]  Gilles Kahn,et al.  The Semantics of a Simple Language for Parallel Programming , 1974, IFIP Congress.

[86]  Pierre Jouvelot,et al.  The type and effect discipline , 1992, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.

[87]  W. Wolf,et al.  Co-design of interleaved memory systems , 2000, Proceedings of the Eighth International Workshop on Hardware/Software Codesign. CODES 2000 (IEEE Cat. No.00TH8518).

[88]  Michael B. Jones,et al.  CPU reservations and time constraints: efficient, predictable scheduling of independent activities , 1997, SOSP.

[89]  Hermann Kopetz,et al.  Elementary versus composite interfaces in distributed real-time systems , 1999, Proceedings. Fourth International Symposium on Autonomous Decentralized Systems. - Integration of Heterogeneous Systems -.

[90]  Walid Taha,et al.  Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming , 2000, ICALP.

[91]  Pravin Varaiya,et al.  Smart cars on smart roads: problems of control , 1991, IEEE Trans. Autom. Control..

[92]  Nancy A. Lynch,et al.  Hierarchical correctness proofs for distributed algorithms , 1987, PODC '87.

[93]  P. Caines,et al.  Hierarchical hybrid control systems: a lattice theoretic formulation , 1998, IEEE Trans. Autom. Control..

[94]  Giovanni De Micheli,et al.  Synthesis and Optimization of Digital Circuits , 1994 .

[95]  Pravin Varaiya A Question about Hierarchical Systems , 2000 .

[96]  Michael D. Smith,et al.  A high-performance microarchitecture with hardware-programmable functional units , 1994, Proceedings of MICRO-27. The 27th Annual IEEE/ACM International Symposium on Microarchitecture.

[97]  J. V. Tucker,et al.  Basic Simple Type Theory , 1997 .

[98]  John Hughes,et al.  Why Functional Programming Matters , 1989, Comput. J..

[99]  Stephen A. Edwards,et al.  Design of embedded systems: formal models, validation, and synthesis , 1997, Proc. IEEE.

[100]  Frank Pfenning,et al.  Eliminating array bound checking through dependent types , 1998, PLDI.

[101]  Wayne H. Wolf,et al.  Key frame selection by motion analysis , 1996, 1996 IEEE International Conference on Acoustics, Speech, and Signal Processing Conference Proceedings.

[102]  Claire J. Tomlin,et al.  Nonlinear systems: analysis, stability, and control, Shankar Sastry, Springer‐Verlag, New York, NY, 1999, 667 pages. ISBN 0‐387‐98513‐1. , 2001 .

[103]  Peter B. Henderson,et al.  Functional programming, formal specification, and rapid prototyping , 1986, IEEE Transactions on Software Engineering.

[104]  Lothar Thiele,et al.  On the complexity of scheduling conditional real-time code , 2001 .

[105]  Paul Hudak The Haskell School of Expression: Learning Functional Programming through Multimedia , 1999 .

[106]  Thomas A. Henzinger,et al.  The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..

[107]  Nancy A. Lynch,et al.  A new fault-tolerant algorithm for clock synchronization , 1984, PODC '84.

[108]  정갑주 [서평]「The Essential Distributed Objects Survival Guide」 , 1998 .

[109]  Paul Hudak,et al.  A gentle introduction to Haskell , 1992, SIGP.

[110]  A. Church The calculi of lambda-conversion , 1941 .

[111]  John A. Stankovic,et al.  A survey of configurable, component-based operating systems for embedded applications , 2001 .

[112]  J. Burch Trace algebra for automatic verification of real-time concurrent systems , 1992 .

[113]  J. Javier Gutiérrez,et al.  Optimized priority assignment for tasks and messages in distributed hard real-time systems , 1995, Proceedings of Third Workshop on Parallel and Distributed Real-Time Systems.

[114]  Joseph Y.-T. Leung,et al.  On the complexity of fixed-priority scheduling of periodic, real-time tasks , 1982, Perform. Evaluation.

[115]  Henk Barendregt,et al.  The Lambda Calculus: Its Syntax and Semantics , 1985 .

[116]  Jason E. Fritts,et al.  Multi-level cache hierarchy evaluation for programmable media processors , 2000, 2000 IEEE Workshop on SiGNAL PROCESSING SYSTEMS. SiPS 2000. Design and Implementation (Cat. No.00TH8528).

[117]  Matti A. Hiltunen,et al.  Coyote: a system for constructing fine-grain configurable communication services , 1998, TOCS.

[118]  Gul A. Agha,et al.  Customizable middleware for modular distributed software , 2001, CACM.

[119]  Cristiano Calcagno Stratified operational semantics for safety and correctness of the region calculus , 2001, POPL '01.

[120]  Wayne H. Wolf,et al.  Co-synthesis of heterogeneous multiprocessor systems using arbitrated communication , 1999, 1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051).

[121]  John Launchbury,et al.  Microprocessor specification in Hawk , 1998, Proceedings of the 1998 International Conference on Computer Languages (Cat. No.98CB36225).

[122]  Edward A. Lee,et al.  What's Ahead for Embedded Software? , 2000, Computer.

[123]  John C. Mitchell,et al.  Coercion and type inference , 1984, POPL.

[124]  Antony Courtney,et al.  Genuinely Functional User Interfaces , 2001 .

[125]  Jason Nieh,et al.  Integrated Processors Scheduling for Multimedia , 1995, NOSSDAV.

[126]  Philip Wadler,et al.  Linear logic, monads and the lambda calculus , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

[127]  P. Binns A robust high-performance time partitioning algorithm: the digital engine operating system (DEOS) approach , 2001, 20th DASC. 20th Digital Avionics Systems Conference (Cat. No.01CH37219).

[128]  Pascal Raymond,et al.  The synchronous data flow programming language LUSTRE , 1991, Proc. IEEE.

[129]  James Gosling,et al.  The Real-Time Specification for Java , 2000, Computer.

[130]  Martin Hofmann Programming languages capturing complexity classes , 2000, SIGA.

[131]  Ralf Hinze,et al.  Haskell 98 — A Non−strict‚ Purely Functional Language , 1999 .

[132]  Wilfrid Hodges,et al.  A Shorter Model Theory , 1997 .

[133]  Abraham Silberschatz,et al.  The Pebble Component-Based Operating System , 1999, USENIX Annual Technical Conference, General Track.

[134]  S. Vestal MetaH support for real-time multi-processor avionics , 1997, Proceedings of 5th International Workshop on Parallel and Distributed Real-Time Systems and 3rd Workshop on Object-Oriented Real-Time Systems.

[135]  Gabor Karsai,et al.  Metaprogrammable toolkit for model-integrated computing , 1999, Proceedings ECBS'99. IEEE Conference and Workshop on Engineering of Computer-Based Systems.

[136]  V. Michael Bove,et al.  A System for Parallel Media Processing , 1997, Parallel Comput..

[137]  Henrik Theiling Generating Decision Trees for Decoding Binaries , 2001 .

[138]  Emin Gün Sirer,et al.  SPIN—an extensible microkernel for application-specific operating system services , 1995, OPSR.

[139]  Niklaus Wirth,et al.  The programming language oberon , 1988, Softw. Pract. Exp..

[140]  Krithi Ramamritham,et al.  The Spring kernel: a new paradigm for real-time systems , 1991, IEEE Software.

[141]  Gordon S. Blair,et al.  The Design of a Resource-Aware Reflective Middleware Architecture , 1999, Reflection.

[142]  Jörg Henkel,et al.  A framework for estimating and minimizing energy dissipation of embedded HW/SW systems , 2001 .

[143]  C. A. R. Hoare,et al.  Communicating sequential processes , 2021, CACM.

[144]  Neil D. Jones,et al.  Computability and complexity - from a programming perspective , 1997, Foundations of computing series.

[145]  David Turner,et al.  Ensuring Streams Flow , 1997, AMAST.

[146]  Sheng-Tzong Cheng,et al.  Scheduling of periodic tasks with relative timing constraints , 1994 .

[147]  Erich Gamma,et al.  Design and Implementation of ET++, a Seamless Object-Oriented Application Framework , 1989, Struct. Program..

[148]  Chris Okasaki,et al.  Even higher-order functions for parsing or Why would anyone ever want to use a sixth-order function? , 1998, Journal of Functional Programming.

[149]  M.A. Qureshi,et al.  The UltraSAN Modeling Environment , 1995, Perform. Evaluation.

[150]  Marc Pouzet,et al.  Synchronous Kahn networks , 1996, ICFP '96.

[151]  Roberto Di Cosmo Review of Isomorphisms of Types:: from λ-calculus to information retrieval and language design , 1997 .

[152]  Ali N. Akansu,et al.  A Graph-Based Object Description for Information Retrieval in Digital Image and Video Libraries , 2002, J. Vis. Commun. Image Represent..

[153]  Joseph Sifakis,et al.  An Overview and Synthesis on Timed Process Algebras , 1991, REX Workshop.

[154]  Edward A. Lee,et al.  An Extensible Type System for Component-Based Design , 2000, TACAS.

[155]  Mads Tofte,et al.  Region-based Memory Management , 1997, Inf. Comput..

[156]  John W. Backus,et al.  Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs , 1978, CACM.

[157]  Bernhard Plattner,et al.  Router plugins: a software architecture for next-generation routers , 2000, TNET.

[158]  J.P. Hespanha,et al.  Multiple-agent probabilistic pursuit-evasion games , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[159]  Aloysius K. Mok,et al.  A Multiframe Model for Real-Time Tasks , 1997, IEEE Trans. Software Eng..

[160]  Chris Okasaki,et al.  Purely functional data structures , 1998 .

[161]  C. Pinello,et al.  Cut-off in engine control: a hybrid system approach , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[162]  Klaus Aehlig,et al.  A syntactical analysis of non-size-increasing polynomial time computation , 2000, Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332).

[163]  Pam Binns Scheduling slack in metah , 1996 .

[164]  Bengt Nordström The alf proof editor , 1993 .

[165]  T. D. Parsons,et al.  Pursuit-evasion in a graph , 1978 .

[166]  Flemming Nielson,et al.  Semantics with applications - a formal introduction , 1992, Wiley professional computing.

[167]  H. Wong-Toi,et al.  The synthesis of controllers for linear hybrid automata , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[168]  Thomas A. Henzinger,et al.  Assume-Guarantee Reasoning for Hierarchical Hybrid Systems , 2001, HSCC.

[169]  David A. Wheeler Ada 95 , 1997, Springer New York.

[170]  Gabor Karsai,et al.  Metamodeling-rapid design and evolution of domain-specific modeling environments , 1999, Proceedings ECBS'99. IEEE Conference and Workshop on Engineering of Computer-Based Systems.

[171]  Neil D. Jones,et al.  A partial evaluator for the untyped lambda-calculus , 1991, Journal of Functional Programming.

[172]  Alberto L. Sangiovanni-Vincentelli,et al.  Overcoming heterophobia: modeling concurrency in heterogeneous systems , 2001, Proceedings Second International Conference on Application of Concurrency to System Design.

[173]  Sharad Malik,et al.  Performance analysis of embedded software using implicit path enumeration , 1997, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[174]  Thomas A. Henzinger Masaccio: A Formal Model for Embedded Components , 2000, IFIP TCS.

[175]  Luca Benini,et al.  Policy optimization for dynamic power management , 1999, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[176]  Reinhard Wilhelm,et al.  Pipeline behavior prediction for superscalar processors , 1999 .

[177]  E.A. Lee,et al.  Synchronous data flow , 1987, Proceedings of the IEEE.

[178]  Richard B. Kieburtz Taming effects with monadic typing , 1998, ICFP '98.

[179]  Insup Lee,et al.  Compositional Refinement for Hierarchical Hybrid Systems , 2001, HSCC.

[180]  Arthur M. Geoffrion,et al.  Elements of large-scale mathematical programming , 1969 .

[181]  Walid Taha,et al.  Semantics, Applications, and Implementation of Program Generation , 2001, Lecture Notes in Computer Science.

[182]  R. Cockett,et al.  Strong categorical datatypes I , 1991 .

[183]  Eric Eide,et al.  Knit: component composition for systems software , 2000, OSDI.

[184]  Simon L. Peyton Jones,et al.  Imperative functional programming , 1993, POPL '93.

[185]  G. Norris Boeing's seventh wonder , 1995 .

[186]  Grady Booch,et al.  Book Reviews , 1936, Computer.

[187]  Abhay Parekh,et al.  A generalized processor sharing approach to flow control in integrated services networks: the single-node case , 1993, TNET.

[188]  Alan C. Shaw,et al.  Experiments with a program timing tool based on source-level timing schema , 1990, [1990] Proceedings 11th Real-Time Systems Symposium.

[189]  Steve Goddard,et al.  A theory of rate-based execution , 1999, Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054).

[190]  Michael J. Wirthlin,et al.  DISC: the dynamic instruction set computer , 1995, Optics East.

[191]  P. Le Guernic,et al.  Hybrid dynamical systems theory and the Signal language , 1990 .

[192]  Hermann Kopetz,et al.  The time-triggered architecture , 1998, Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98).

[193]  Giorgio C. Buttazzo,et al.  Integrating multimedia applications in hard real-time systems , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).

[194]  Danilo Beuche,et al.  The PURE family of object-oriented operating systems for deeply embedded systems , 1999, Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'99) (Cat. No.99-61702).

[195]  Parameswaran Ramanathan,et al.  A Dynamic Priority Assignement Technique for Streams with (m, k)-Firm Deadlines , 1995, IEEE Trans. Computers.

[196]  Stavros Tripakis,et al.  Timing Analysis and Code Generation of Vehicle Control Software using Taxys , 2001, RV@CAV.

[197]  Ian M. Mitchell,et al.  Level Set Methods for Computation in Hybrid Systems , 2000, HSCC.

[198]  Scott Hauck,et al.  High-performance carry chains for FPGAs , 1998, FPGA '98.

[199]  Wolfgang Pree,et al.  AN OBJECT-ORIENTED COMPONENT-BASED FRAMEWORK FOR ON-BOARD SOFTWARE , 2001 .

[200]  Robert D. Tennent,et al.  Semantics of programming languages , 1991, Prentice Hall International Series in Computer Science.

[201]  Hongwei Xi Upper bounds for standardizations and an application , 1999 .

[202]  Martin Odersky Challenges in type systems research , 1996, CSUR.

[203]  Larry L. Peterson,et al.  Scheduling computations on a software-based router , 2001, SIGMETRICS '01.

[204]  S. Shankar Sastry,et al.  Mode Switching Synthesis for Reachability Specifications , 2001, HSCC.

[205]  Bernhard Rumpe,et al.  The UML profile for framework architectures , 2002, Addison Wesley object technology series.

[206]  Richard B. Kieburtz Implementing Closed Domain-Specific Languages , 2000, SAIG.

[207]  Krithi Ramamritham,et al.  Preemptive Scheduling Under Time and Resource Constraints , 1987, IEEE Transactions on Computers.

[208]  Hermann Kopetz,et al.  Temporal firewalls in large distributed real-time systems , 1997, Proceedings of the Sixth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems.

[209]  John P. Lehoczky,et al.  The rate monotonic scheduling algorithm: exact characterization and average case behavior , 1989, [1989] Proceedings. Real-Time Systems Symposium.

[210]  James H. Anderson,et al.  Proportional share scheduling of operating system services for real-time applications , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).

[211]  Gilles Kahn,et al.  Coroutines and Networks of Parallel Processes , 1977, IFIP Congress.

[212]  Douglas C. Schmidt,et al.  Pattern-Oriented Software Architecture, Patterns for Concurrent and Networked Objects , 2013 .

[213]  Luciano Lavagno,et al.  Scheduling for Embedded Real-Time Systems , 1998, IEEE Des. Test Comput..

[214]  Kevin Jeffay,et al.  A Rate-Based Execution Abstraction for Multimedia Computing , 1995, NOSSDAV.

[215]  Lothar Thiele,et al.  Real-time calculus for scheduling hard real-time systems , 2000, 2000 IEEE International Symposium on Circuits and Systems. Emerging Technologies for the 21st Century. Proceedings (IEEE Cat No.00CH36353).

[216]  Satnam Singh,et al.  Dynamic Specialisation of XC6200 FPGAs by Parial Evaluation , 1998, FPL.

[217]  James W. Layland,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[218]  John Rushby A formally verified algorithm for clock synchronization under a hybrid fault model , 1994, PODC '94.

[219]  Eugenio Moggi,et al.  Notions of Computation and Monads , 1991, Inf. Comput..

[220]  Reinhard Wilhelm,et al.  Analysis of Loops , 1998, CC.

[221]  John Wawrzynek,et al.  Garp: a MIPS processor with a reconfigurable coprocessor , 1997, Proceedings. The 5th Annual IEEE Symposium on Field-Programmable Custom Computing Machines Cat. No.97TB100186).

[222]  Thomas A. Henzinger,et al.  jMocha: a model checking tool that exploits design structure , 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.

[223]  Anders Bondorf,et al.  A self-applicable partial evaluator for the lambda calculus , 1990, Proceedings. 1990 International Conference on Computer Languages.

[224]  Philip Wadler,et al.  The essence of functional programming , 1992, POPL '92.

[225]  Edward A. Lee Computing for embedded systems , 2001, IMTC 2001. Proceedings of the 18th IEEE Instrumentation and Measurement Technology Conference. Rediscovering Measurement in the Age of Informatics (Cat. No.01CH 37188).

[226]  Wayne H. Wolf,et al.  Human activity detection in MPEG sequences , 2000, Proceedings Workshop on Human Motion.

[227]  Luca Cardelli,et al.  On understanding types, data abstraction, and polymorphism , 1985, CSUR.

[228]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[229]  Martín Abadi,et al.  Types for Safe Locking , 1999, ESOP.

[230]  John Lygeros,et al.  Controllers for reachability specifications for hybrid systems , 1999, Autom..

[231]  Feng Lin,et al.  Control Synthesis for a Class of Hybrid Systems Subject to Configuration-Based Safety Constraints , 1997, HART.

[232]  Krishna V. Palem,et al.  Adaptive explicitly parallel instruction computing , 2001 .

[233]  Walid Taha,et al.  Multi-stage programming with explicit annotations , 1997 .

[234]  Edward A. Lee,et al.  A hierarchical hybrid system model and its simulation , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[235]  Krzysztof Czarnecki,et al.  Generative programming - methods, tools and applications , 2000 .

[236]  Edward A. Lee,et al.  A framework for comparing models of computation , 1998, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[237]  Flemming Nielson,et al.  Two-Level Semantics and Code Generation , 1988, Theor. Comput. Sci..

[238]  Krithi Ramamritham,et al.  A real-time system description language , 1995, Proceedings Real-Time Technology and Applications Symposium.

[239]  Kent M. Pitman Exceptional Situations in Lisp , 1985 .

[240]  Douglas C. Schmidt,et al.  Middleware for Distributed Systems Evolving the Common Structure for Network-centric Applications , 2001 .

[241]  Sergio Yovine,et al.  KRONOS: a verification tool for real-time systems , 1997, International Journal on Software Tools for Technology Transfer.

[242]  차상균,et al.  [서평]Succeeding with Objects - Decision Frameworks for Project Management - , 1996 .

[243]  Abbas Edalat,et al.  A new representation for exact real numbers , 1997, MFPS.

[244]  Krithi Ramamritham,et al.  A reflective architecture for real-time operating systems , 1995 .

[245]  Douglas M. Hawkins,et al.  Aperiodic response time distributions in queues with deadline guarantees for periodic tasks , 2000 .

[246]  Marco Spuri,et al.  Robust aperiodic scheduling under dynamic priority systems , 1995, Proceedings 16th IEEE Real-Time Systems Symposium.

[247]  Thomas A. Henzinger,et al.  Embedded Control Systems Development with Giotto , 2001, OM '01.

[248]  Vijay Kumar,et al.  A Framework and Architecture for Multirobot Coordination , 2000, International Symposium on Experimental Robotics.

[249]  D. C. Sharp,et al.  Reducing avionics software cost through component based product line development , 1998, 17th DASC. AIAA/IEEE/SAE. Digital Avionics Systems Conference. Proceedings (Cat. No.98CH36267).

[250]  Andrew Moran,et al.  Improvement in a lazy context: an operational theory for call-by-need , 1999, POPL '99.

[251]  Gordon Plotkin,et al.  An Operational Semantics for CSP. , 1982 .

[252]  Günter Grünsteidl,et al.  TTP - A Protocol for Fault-Tolerant Real-Time Systems , 1994, Computer.

[253]  George J. Pappas,et al.  Hierarchically consistent control systems , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[254]  Manfred Broy,et al.  A Fixed Point Approach to Applicative Multiprogramming , 1982 .

[255]  Scott Shenker,et al.  Analysis and simulation of a fair queueing algorithm , 1989, SIGCOMM '89.

[256]  John Hughes,et al.  Recursion and dynamic data-structures in bounded space: towards embedded ML programming , 1999, ICFP '99.

[257]  Martin Hofmann,et al.  Linear types and non-size-increasing polynomial time computation , 1999, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).

[258]  Bengt Nordström,et al.  Programming in Martin-Löf's Type Theory , 1990 .

[259]  Patrick Cousot,et al.  Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints , 1977, POPL.

[260]  Giorgio C. Buttazzo,et al.  Optimal Deadline Assignment for Scheduling Soft Aperiodic Tasks in Hard Real-Time Environments , 1999, IEEE Trans. Computers.

[261]  Alfred V. Aho,et al.  Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.

[262]  Healfdene Goguen A typed operational semantics for type theory , 1994 .

[263]  Gérard G. Medioni,et al.  Electronic pan-tilt-zoom: a solution for intelligent room systems , 2000, 2000 IEEE International Conference on Multimedia and Expo. ICME2000. Proceedings. Latest Advances in the Fast Changing World of Multimedia (Cat. No.00TH8532).

[264]  Robert DeLine,et al.  Resolving packaging mismatch , 1999 .

[265]  Frank Pfenning,et al.  System Description: Twelf - A Meta-Logical Framework for Deductive Systems , 1999, CADE.

[266]  Holger Pfeifer Formal Verification of the TTP Group Membership Algorithm , 2000, FORTE.

[267]  Patrick Cousot,et al.  Constructive design of a hierarchy of semantics of a transition system by abstract interpretation , 2002, MFPS.

[268]  Amr Sabry,et al.  Proving the correctness of reactive systems using sized types , 1996, POPL '96.

[269]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[270]  Hermann Kopetz,et al.  Software engineering for real-time: a roadmap , 2000, ICSE '00.

[271]  Richard B. Kieburtz,et al.  Real-time Reactive Programming for Embedded Controllers , 2001, ICFP 2001.

[272]  Roy H. Campbell,et al.  Designing and implementing Choices: an object-oriented system in C++ , 1993, CACM.

[273]  John Rushby,et al.  A Comparison of Bus Architectures for Safety-Critical Embedded Systems , 2003 .

[274]  Mario R. Schaffner Processing by Data and Program Blocks , 1978, IEEE Transactions on Computers.

[275]  Hermann Kopetz,et al.  Real-time systems , 2018, CSC '73.

[276]  Alice C. Parker,et al.  Synthesis of application-specific multiprocessor systems including memory components , 1994, J. VLSI Signal Process..

[277]  Harrick M. Vin,et al.  A hierarchial CPU scheduler for multimedia operating systems , 1996, OSDI '96.

[278]  David Sands A Na Ve Time Analysis and Its Theory of Cost Equivalence {draft Submitted for Publication{ , 1995 .

[279]  Edward A. Lee,et al.  OVERVIEW OF THE PTOLEMY PROJECT JULY 6 , 1999 , 1999 .

[280]  Jay K. Strosnider,et al.  ENHANCED APERIODIC RESPONSIVENESS IN HARD REAL-TIME ENVIRONMENTS. , 1987, IEEE Real-Time Systems Symposium.

[281]  Gabor Karsai Design tool integration: an exercise in semantic interoperability , 2000, Proceedings Seventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS 2000).

[282]  Thomas A. Henzinger,et al.  Interface automata , 2001, ESEC/FSE-9.

[283]  Akash Deshpande,et al.  The SHIFT Programming Language and Run-time System for Dynamic Networks of Hybrid Automata , 1997 .

[284]  Fabio Kon,et al.  2K: A Reflective, Component-Based Operating System for Rapidly Changing Environments , 1998, ECOOP Workshops.

[285]  George J. Pappas,et al.  Feasible formations of multi-agent systems , 2001, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148).

[286]  Gabor Karsai,et al.  Model-Integrated Computing , 1997, Computer.

[287]  B. Ramakrishna Rau,et al.  EPIC: An Architecture for Instruction-Level Parallel Processors , 2000 .

[288]  Francesco Tisato,et al.  ON THE DUALITY BETWEEN EVENT-DRIVEN AND TIME-DRIVEN MODELS , 1995 .

[289]  David Turner Functional programs as executable specifications , 1984, Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences.

[290]  Fred B. Schneider,et al.  Understanding Protocols for Byzantine Clock Synchronization , 1987 .

[291]  H. Pfeifer,et al.  Formal verification for time-triggered clock synchronization , 1999, Dependable Computing for Critical Applications 7.

[292]  Oscar Nierstrasz,et al.  Component-oriented software development , 1992, CACM.

[293]  Thomas A. Henzinger,et al.  Giotto: a time-triggered language for embedded programming , 2001, Proc. IEEE.

[294]  Sérgio Vale Aguiar Campos,et al.  Computing quantitative characteristics of finite-state real-time systems , 1994, 1994 Proceedings Real-Time Systems Symposium.

[295]  하수철,et al.  [서평]「Component Software」 - Beyond Object-Oriented Programming - , 2000 .