A new programming model for dependable adaptive real-time applications

IEEE Distributed Systems Online

Volumn 6, Issue 5, 2005, Pages

  Martins, Pedro ^a,b   Sousa, Paulo ^a,b   Casimiro, António ^a,b   Veríssimo, Paulo ^a,b  

^a UNIVERSITY OF LISBON   (Portugal)

^b UNIVERSITY OF LISBON   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

ADAPTIVE SYSTEMS; ASYMPTOTIC STABILITY; MATHEMATICAL MODELS; PROJECT MANAGEMENT; QUALITY OF SERVICE; REAL TIME SYSTEMS;

COVERAGE STABILITY; PROGRAMMING MODEL; SENTIENT OBJECTS; UNIVERSITY OF LISBOA;

DYNAMIC PROGRAMMING;

EID: 22744452498     PISSN: 15414922     EISSN: 15414922     Source Type: Journal    
DOI: 10.1109/MDSO.2005.26     Document Type: Article

References (12)

1. P. Veríssimo et al., "CORTEX : Towards Supporting Autonomousli and Cooperating Sentient Entities,"Proc. European Wireless 2002 (EW 02), 2002, pp. 595-601.
2. P. Veríssimo and A. Casimiro, "The Timely Computing Base Model and Architecture," http://csdl.computer.org/comp/proceedings/dsn/ 2002/1597/00/15970027abs.htm, IEEE Trans. Computers, vol. 51, no. 8, IEEE CS Press, 2002, pp. 916-930.
3. A. Casimiro and P. Veríssimo, "Using the Timely Computing Base for Dependable QoS Adaptation," http://csdl.computer.org/comp/ proceedings/srds/2001/1366/00/13660208abs.htm, Proc. 20th IEEE Symp. Reliable Distributed Systems (SRDS 01), IEEE CS Press, 2001,pp. 208-217.
4. A. Casimiro and P. Veríssimo, "Generic Timing Fault Tolerance Using a Timely Computing Base," http://csdl.computer.org/comp/proceedings/ dsn/2002/1597/00/15970027abs.htm, Proc. 2nd Int'l Conf. Dependable Systems and Networks (DSN 02), IEEE CS Press, 2002, pp. 27-38.
5. M. Correia, P. Veríssimo, and N.F. Neves, "The Design of a COTS Real-Time Distributed Security Kernel,"Proc. 4th European Dependable Computing Conference (EDCC-4), LNCS 2485, Springer-Verlag, 2002, pp. 234-252.
6. P. Veríssimo, "Traveling through Wormholes: Meeting the Grand Challenge of Distributed Systems,"Proc. Int'l Workshop Future Directions in Distributed Computing (FuDiCo 02), 2002, pp. 144-151.
7. P. Veríssimo, "Uncertainty and Predictability: Can They Be Reconciled?"Future Directions in Distributed Computing, LNCS 2584, Springer-Verlag, 2003, pp. 108-113.
8. A. Casimiro, P. Martins, and P. Veríssimo, "How to Build a Timely Computing Base Using Real-Time Linux,"Proc. 2000 IEEE Workshop Factory Communication Systems (WFCS 2000), IEEE Press, 2000, pp. 127-134.
9. S. Schonberg, "Impact of PCI-Bus Load on Applications in a PC Architecture," http://csdl.computer.org/comp/proceedings/rtss/2003/2044/00/ 20440430abs.htm, Proc. 24th IEEE Int'l Real-Time Systems Symp. (RTSS 03), IEEE CS Press, 2003, pp. 430-439.
10. M. de Prycker, Asynchronous Transfer Mode: Solution For Broadband ISDN, 3rd ed., Prentice-Hall, 1995.
11. R. Cunningham and V. Cahill, "Time Bounded Medium Access Control for Ad-hoc Networks,"Proc. 2nd ACM Int'l Workshop Principles of Mobile Computing (POMC 02), ACM Press, 2002, pp. 1-8.
12. Draft Supplement to Standard for Telecommunications and Information Exchange Between Systems-LAN/MAN Specific Requirements, Part 11: Wireless Medium Access Control (MAC) and Physical Layer (PHY) specifications: Medium Access Control (MAC) Enhancements for quality of service (QoS), IEEE Std. 802.11e/D3.0, IEEE, May 2002.