Abstract
This paper reports on the workshop that was held on Oct 27th, 2010 during the SIGAda conference in Fairfax, VA. The goal of the workshop was to start an effort for defining a restricted profile for Object Oriented programming with Ada for high integrity systems, following the example of the Ravenscar profile for the concurrency aspects.
- RTCA/EuroCAE, DO-178B, "Software Considerations in Airborne Systems and Equipment Certification"Google Scholar
- EN-50128:2001. Railway applications. Communications, signaling and processing systems. Software for railway control and protection systems. ISBN 058037584 6Google Scholar
- Alan Burns, Brian Dobbing and Tullio Vardanega. "Guide for the use of the Ada Ravenscar Profile in high integrity systems". ACM SIGAda Ada Letters XXIV (2): 1--74.OOTiA Google Scholar
Digital Library
- AdaControl web site, http://www.adalog.fr/adacontrol2.htmGoogle Scholar
- B. Liskov and J. Wing, "A Behavioral Notion of Subtyping", ACM Transactions on Programming Languages and Systems, Nov. 1994, vol. 16, no. 6, ACM, New-York. Google Scholar
Digital Library
Index Terms
Developing a profile for using object-oriented Ada in high-integrity systems
Recommendations
The new semantic model in ASIS for Ada 2005
SIGAda '09: Proceedings of the ACM SIGAda annual international conference on Ada and related technologiesFollowing the new Ada 2005 standard, the ASIS interface has to be upgraded. In addition to supporting the representation of new features, ASIS has been extended with a semantic subsystem, where queries support the logical views of entities rather than ...
11th Workshop for PhD Students in Object-Oriented Systems
ECOOP '01: Proceedings of the Workshops on Object-Oriented TechnologyAt its 11th edition, the PhDOOS workshop has become an established annual meeting of PhD students in object-orientation. The main objective of the workshop is to offer an opportunity for PhD students to meet and share their research experiences, to ...






Comments