Pascal de Seze
- 1.Bonnet, C., Caillet, J.F., de Seze, P. and Raither, B. Specification and Debugging of an Ada System in an Advanced Environment. Proceedings of the Third European Software Maintenance Workshop, Durham England, April 1989. Google Scholar
Digital Library
- 2.Caillet, J.F., Bonnet, C. and Raither, B. High Level Interpretation of Execution Traces of Ada Tasks. Proceedings of the First European Software Engineering Conference, Strasbourg France, September 1987, pp. 329-337. Google ScholarDigital Library
- 3.Caillet, J.F., Bonnet, C., de Seze, P. and Raither, B. IDEFIX: Debugging Ada Tasks with User-Defined Timing Constraints. Proceedings of the Ada-Europe International Conference, Munich Germany, June 1988, pp. 53-64.Google Scholar
- 4.Dencker, P. The Ada-IDAS Project Monitoring Task States. Sixth Washington Ada Symposium, Washington U.S.A., June 1987. Google ScholarDigital Library
- 5.Evans, A., Goos, G., Wulf, W.A. and Butler, K.S, DIANA: An lntermediate Language for Ada. Berlin: Lecture Notes in Computer Science, Springer-Verlag, 1983. Google ScholarDigital Library
- 6.Quint, V. and Vatton, i. Grif: An interactive System for Structured Document Manipulation. Proceedings of the International Conference of Text Processing and Document Manipulation, Dublin Ireland, 1986, Cambridge University Press, pp. 200-213.Google ScholarCross Ref
- 7.Rowe, L.A., Davis, M., Messinger, E., Meyer, C., Spirakis, C. and Tuan, A. A Browser for Directed Graphs. Software. Practice and Experience, Vol. 17(1), January 1987, pp. 61-76. Google ScholarDigital Library
- 8.Schmidt, D. and Dencker, P. SYSTEAM A da System Debugger User Manual. Internal document of SYSTEAM KG, Karlsruhe Germany, 1988.Google Scholar
- 9.Taylor, R.N. Complexity of Analyzing the Synchronization Structure of Concurrent Programs. Acta lnformatica, 19, 1983, pp. 57-84.Google Scholar
Index Terms
- A graphical trace analysis tool for Ada real-time embedded systems
Recommendations
Embedded, hard, real-time systems with Ada
SIGAda '09: Proceedings of the ACM SIGAda annual international conference on Ada and related technologiesDevelopment of real-time systems is expensive and difficult, in part because of low-level languages that force developers to use facilities that are ad hoc, incomplete, and not portable. The Real-Time Systems Annex of Ada 2005 (along with the language ...
Tool-Based Configuration of Real-Time CORBA Middleware for Embedded Systems
ISORC '05: Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed ComputingReal-time CORBA is a middleware standard that has demonstrated successes in developing distributed, realtime, and embedded (DRE) systems. Customizing real-time CORBA for an application can considerably reduce the size of the middleware and improve its ...
A Survey of WCET Analysis of Real-Time Operating Systems
ICESS '09: Proceedings of the 2009 International Conference on Embedded Software and SystemsTiming correctness of hard real-time systems is guaranteed by schedulability analysis and worst-case execution time (WCET) analysis of programs. Traditional WCET analysis mainly deals with application programs and has achieved success in industry. ...
Comments