1967. Validity of the single processor approach to achieving large scale computing capabilities. Pages 483–485 of: AFIPS'67 (Spring): Proceedings of the April 18–20, 1967, Spring Joint Computer Conference. ACM.
1992. Scheduler activations: effective kernel support for the user-level management of parallelism. ACM Transactions on Computer Systems (TOCS), 10(1), 53–79., , , and
2009. Artisan Studio Architect Enterprise Edition. White paper..
1993. Applying new scheduling theory to static priority pre-emptive scheduling. Software Engineering Journal, 9(5), 284–292., , , and
1991. Stack-based scheduling for realtime processes. Journal of Real Time Systems, 3(1), 67–99.
2006. A necessary and sometimes sufficient condition for the feasibility of sets of sporadic hard-deadline tasks. Pages 178–190 of: Proceedings of the 27th IEEE International Real-Time Systems Symposium. IEEE., and
1997. Ada bindings for C interfaces: lessons learned from the florist implementation. Pages 13–22 of: , and (eds), Ada-Europe. Lecture Notes in Computer Science, vol. 1251. Springer., and
2003. High Integrity Software, The SPARK Approach to Safety and Security. Pearson Education Limited.
2006. Programming in Ada 2005. Pearson Education Limited.
1982. Principles of Concurrent Programming. Prentice Hall International.
2009. Ada for Software Engineers. 2nd edn. Springer-Verlag.
2008. Considerations on the LEON cache effects on the timing analysis of onboard applications. In: Proceedings of the Data Systems In Aerospace Conference (DASIA'08). ESA Publications., , , , , , , and
2006. Time petri nets analysis with TINA. In Proceedings of 3rd International Conference on The Quantitative Evaluation of Systems (QEST 2006), IEEE Computer Society. IEEE., and
2004. Object-Oriented Modeling and Design with UML. 2nd edn. Pearson Prentice Hall., and
1992. Patriot Missile Defense: Software Problem Led to System Failure at Dhahran, Saudi Arabia. Tech. report GAO/IMTEC-92-26. United States General Accounting Office., , and
1999. Meeting Deadlines in Hard Real-Time Systems, The Rate Monotonic Approach. IEEE Computer Society., and
1994. HRT-HOOD: a design method for hard real time systems. Real Time Systems Journal, 6(1), 73–114., and
1998. Concurrency in Ada. Cambridge University Press., and
2007. Concurrent and Real-Time Programming in Ada. Cambridge University Press., and
2009. Real-time Systems and Programming Languages. 4th ed. Addison Wesley., and
2003. Rate monotonic vs. EDF: Judgment day. In Proceedings of 3rd ACM International Conference on Embedded Software. ACM.
2003. The national ignition facility: early operational experience with a large Ada control system. Ada Letters, 23(1), 11., , and
1984. Architecture of the Space Shuttle Primary Avionics Software System. Communications of the ACM, 27(9).
2010. Exploiting UML2 code generation with IBM Rational Rhapsody in Ada. White paper.
1995. VERSA: a tool for the specification and analysis of resource-bound real-time systems. Journal of Computer and Software Engineering, 3(2)., , and
1996. Ada as a Second Language. McGraw-Hill Series in Computer Science. McGraw-Hill.
2002. Scheduling in Real Time Systems. John Wiley and Sons Ltd., , , and
2005. Distributed Systems: Concepts and Design. 4th edn. Addison-Wesley., , and
2007. Ada Plus Data Structures: An Object-Oriented Approach. 2nd edn. Jones and Bartlett., and
2000. Programming and Problem Solving with Ada 95. 2nd edn. Jones and Bartlett., , and
2000. An open Ravenscar realtime kernel for GNAT. In: Proceedings of the Reliable Software Technologies. Ada-Europe 2000. Lecture Notes in Computer Science, 1845. Springer Verlag., , and
2005. EAST-ADL – an architecture description language. Pages 181–195 of: Book on Architecture Description Languages, IFIP International Federation for Information Processing. Springer Verlag., , and
1975. Programming-in-the-large versus programming-in-the-small. Pages 114–121 of: Proceedings of the International Conference on Reliable Software. ACM., and
1968. Cooperating sequential processes. Pages 43–112 of: (ed), Programming Languages. Academic Press. Reprinted from the original Technological University, Eindhoven, The Netherlands, September 1965.
2004. Using the AADL for mission critical software development. 2nd European Congress ERTS, EMBEDDED REAL TIME SOFTWARE.
1999. The Ravenscar profile: experience report. ACM SIG Ada Ada Letters, 19(2), 28–32.
1998. Real-Time UML: Developing Efficient Objects for Embedded Systems. 2nd edn. Addison Wesley Longman.
2010. PolyORB 2.7.0w User's Guide. http://www.adacore.com/wp-content/files/auto_update/polyorb-docs/polyor%b_ug.html/., , , , and
1997. My hairiest bug war stories. Communications of the ACM, 40(4), 30–37.
2001. Ada 95: The Craft of Object-Oriented Programming. http://www.it.bton.ac.uk/staff/je/adacraft/.
2003. ECSS-E-50-12A SpaceWire – Links, Nodes, Routers and Networks. Tech. rept. European Space Agency..
2008. An effective collaboration of a modeling tool and a simulation and evaluation framework. In: 18th Annual International Symposium, INCOSE 2008. Systems Engineering for the Planet. INCOSE., and
2006. Schedulability analysis of fixed-priority systems using timed automata. Theoretical Computer Science, 354(2), 301–317., , , and
1974. Some computer organizations and their effectiveness. IEEE Transactions on Computers, C-21, 948–960.
2006. Towards an UML 2.0 profile for real-time execution platform modeling. In: Proceedings of the 18th Euromicro Conference on Real-Time Systems (ECRTS 06), Work in progress session. IEEE., , and
1995. POSIX 4: Programming for the Real World. O'Reilly and Associates.
1996. Preemptive and Non-Preemptive Real-time Uni-processor Scheduling. Tech. rept. INRIA., , and
1994. The GNU Ada runtime library (GNARL). Pages 97–107 of: WADAS '94: Proceedings of the Eleventh Annual Washington Ada Symposium & Summer ACM SIGAda Meeting on Ada. ACM., and
2010. GNAT Reference Manual. AdaCore..
2006. New features in CPN-AMI 3: focusing on the analysis of complex distributed systems. Pages 273–275 of: 6th International Conference on Application of Concurrency to System Design (ACSD'06). IEEE Computer Society., , , , , , and
1997. Implementing robot controllers under real-time POSIX and Ada. Pages 57–64 of: IRTAW '97: Proceedings of the Eighth International Workshop on Real-Time Ada. ACM., , , and
2001. MAST: Modeling and Analysis Suite for Real Time Applications. Pages 125–134 of: Proceedings of the 13th Euromicro Conference on Real-Time Systems (ECRTS 2001). IEEE Computer Society., , , and
1996. Formal Methods for Real Time Computing. John Wiley and Sons Ltd., and
2003. Contributions to middleware architectures to prototype distribution infrastructures. Pages 124–131 of: Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP'03). IEEE., , and
1986. Finding response time in a real-time system. Computer Journal, 29(5), 390–395., and
1994. A Practitioner's Handbook for Real Time Analysis. Kluwer Academic Publishers., , , , and
1975a. Queueing Systems: Computer Application. Wiley-interscience.
1975b. Queueing Systems: Theory. Wiley-interscience.
1993. Risk Management In Fly-By-Wire Systems. NASA STI/Recon. NASA.
1992. D-Over, an optimal on-line scheduling algorithm for overloaded real time systems. Tech. rept. INRIA technical report number RT-0138., and
2004. Real-Time Systems Design and Analysis. Piscataway, New Jersey: IEEE Press..
1973. Scheduling algorithms for multiprogramming in a hard real-time environment. Journal of the Association for Computing Machinery, 20(1), 46–61., and
1995. Handbook of Software Reliability Engineering. McGraw-Hill.
2001. Solaris Internals: Core Kernel Architecture. Prentice Hall., and
1997. Forum letter. Communications of the ACM, 40(8), 30.
2007. CORBA Explained Simply..
2007. Multi-core + multi-tasking = multi-opportunity. Ada Letters, 27(3), 79–81.
2004. RTEMS Ada User's Guide. OAR Corporation..
2001. Ada Language to IDL Mapping v1.2. OMG..
2004. The Common Object Request Broker: Architecture and Specification, Revision 3.0.3. OMG. OMG Technical Document formal/2004-03-12..
2007. A UML Profile for MARTE, Beta 1. OMG Document Number: ptc/07-08-04..
1976. A survey of scheduling rules. Operations Research, 25(1), 45–61., and
2008. Computer Organization & Design: The Hardware/Software Interface. 4th edn. Morgan Kaufmann., and
2000. GLADE: a framework for building large objectoriented real-time distributed systems. Page 244 of: ISORC '00: Proceedings of the Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. IEEE Computer Society., and
1999. CORBA & DSA: divorce or marriage? In: Proceedings of 4th International Conference on Reliable Software Conference. Springer Verlag., , and
1980. Reaching agreement in the presence of faults. Journal of the ACM, 27(2), 228–234., , and
2007. Process-algebraic analysis of timing and schedulability properties. In: Handbook of Real-Time and Embedded Systems. Chapman and Hall/CRC., and
2003. Ada Distilled: An Introduction to Ada Programming for Experienced Computer Programmers. Tech. rept. AdaWorks Software Engineering.
2001. MaRTE OS: an Ada kernel for real-time embedded applications. In: Proceedings of the International Conference on Reliable Software Technologies, Ada-Europe-2001., and
2009. Architecture Analysis and Design Language (AADL) AS 5506. Tech. rept. The Engineering Society For Advancing Mobility Land Sea Air and Space, Aerospace Information Report, Version 2.0..
1994. The GNAT Project: A GNU-Ada 9X Compiler. Pages 48–57 of: TRI-Ada. ACM., and
1990. Priority inheritance protocols: an approach to real-time synchronization. IEEE Transactions on Computers, 39(9), 1175–1185., , and
1999. A Linux kernel module implementation of restricted Ada tasking. ACM SIGAda Ada Letters, 19(2), 96–103., and
2004. Cheddar: a flexible real time scheduling framework. Pages 1–8 of: SIGAda '04: Proceedings of the 2004 Annual ACM SIGAda International Conference on Ada. ACM., , , and
2009. Investigating the usability of real-time scheduling theory with the Cheddar project. Journal of Real Time Systems, 43(3), 259–295., , , and
1989. Aperiodic task scheduling for hard-real-time systems. Journal of Real Time Systems, 1, 27–60., , and
1996. Analysis of Deadline Scheduled Real-Time Systems. Tech. rept. RR-2772. INRIA.
1988. Misconceptions about real-time computing. IEEE Computer, 21(10): 10–19..
2006. Ada 2005 Reference Manual. Language and Standard Libraries. International Standard ISO/IEC 8652/1995(E) with Technical Corrigendum 1 and Amendment 1. LNCS Springer Verlag, number XXII, volume 4348., , , , and
2002. Using TimeWiz to Understand System Timing before you Build or Buy. Tech. rept. TimeSys Corporation..
1994. Holistic schedulability analysis for distributed hard real-time systems. Microprocessing and Microprogramming, 40(2–3), 117–134., and
2003. Rapid-RMA: The Art of Modeling Real-Time Systems. Tech. rept. Tri-Pacific Software, Inc..
1999. Embedded processors by the numbers. Embedded Systems Programming, 12(5), 99.
1996. UNIX Internals: the New Frontiers. Prentice Hall.
2005. On the dynamic semantics and the timing behavior of Ravenscar kernels. Real-Time Systems, 29, 59–89., , and
2004. An overview of middleware. Pages 35–51 of: Proceedings of the 9th International Conference on Reliable Software Techologies Ada-Europe 2004 (RST'04). Springer Verlag.
2006. Performance analysis using CPN tools. Page 59 of: Valuetools '06: Proceedings of the 1st International Conference on Performance Evaluation Methodolgies and Tools. ACM..
2010a. Ada Programming. http://en.wikibooks.org/wiki/Ada_Programming..
2010b. Ada Quality and Style Guide. http://en.wikibooks.org/wiki/Ada_Style_Guide..
2008. The worst-case execution time problem – overview of methods and survey of tools. ACM Transactions on Embedded Computing Systems, 7(3), 36–53., , , , , , , , , , , , , , and
1997. VxWorks: Programmer's Guide. Wind River Systems..