1,721,254 research outputs found
Ravenscar Design Patterns? Reflections on Use of the Ravenscar Profile
No full textIndustrial developers have started to use the Ravenscar Profile in challenging application domains. The thorough feedback that begins to emerge from these experiences is of great interest to the community (i.e. the IRTAW group) that first conceived and promoted the Profile. This paper undertkes a first analysis of a specific experience report to which the author had early and privileged access
Proceedings of the 12th International Real-Time Ada Workshop
No full textWe are pleased to dedicate this issue to the proceedings of the 12th International Real-Time Applications Workshop (IRTAW 12), which was held in Pousada Monte de Sta. Luzia, Viana do Castelo, Portugal from 15-19 September 2003. This workshop has provided real benefit to the Ada community by addressing issues to make the Ada language effective in achieving real-time requirements. There were 22 participants representing 9 countries. For those into real-time applications, these proceedings will be extremely valuable. Even if you are not, there are several sections that you might want to pay close attention. For example, a Session Summary on New Core Language Features will provide information on the direction ISO/IEC JTC1/SC22 WG9 is taking for the new real-time related features planned for the Ada 2005 Amendment to the Ada ISO language standard. Many of these features evolved from previous IRTAW meetings. SIGAda thanks the IRTAW for this important contribution and we are very happy to publish these proceedings
A Case for Exceptions
No full textIn this short paper we argue in favour of the value of language support for exceptions. To make our case, we first spell out what we consider exceptions to be about and then discuss reasons for the timid use of them by Ada programmers so far. Finally, we present requirements for an enhanced exception model that, we expect, would increase the confidence and the take up of users
Proceedings of the 12th International Workshop on Worst-Case Execution Time Analysis (WCET 2012)
No full textI take real pleasure in seeing the proceedings of the 12th International Workshop on Worst-Case Execution Time Analysis online already on the day of the workshop. This helps WCET’12 achieve its goal of facilitating discussion and interaction among participants as well as of returning value to the authors of the works that were accepted for presentation. I also feel personal satisfaction in having achieved the production of these proceedings as a tangible manifestation of the considerable effort that went in making WCET’12 happen, and successfully so, in fact.
The WCET workshop is a successful series indeed. The research community active in WCET analysis evidently cares for the event, values its venue and atmosphere, and the relevance of its proceedings. In that respect, it is a comparatively easy job to be the program chair for it (hopefully my predecessors would not feel diminished by me saying so!) in as far as the harvesting of valuable contributions goes. I was very pleased and reassured at seeing the whole program committee actively help me disseminate the call for papers, scout for good research projects that would be at the stage of maturity to present their ideas in the workshop, and turn in very thorough reviews.
We received 23 good-quality submissions, of which we selected 10 for the program and the proceedings. We had the luxury of being selective, and the opportunity of putting together a solid program that makes ample room for discussion and interaction, which is what the workshop is for in the first place.
I welcome all participants to WCET’12 in both the physical event, taking place as usual as a satellite event to ECRTS12, this year on 10 July at the beautiful venue of Scuola Sant’Anna in Pisa, Italy, and the online proceedings, which I hope will get the amount of citations that the authors need for their good work
Property Preservation and Composition with Guarantees: from ASSERT to CHESS
No full textWhile the demand for high-integrity applications continues to rise, industrial developers seek cost effective development strategies that are capable of delivering the required guarantees. The very nature of high-integrity software systems make a-posteriori verification totally inapt to meet the time, cost and quality constraints that impend on developers. What is wanted instead is a development method that facilitates early verification and that devolves to proven automation as many of the error-prone development tasks as practically possible. Model-driven engineering (MDE) is an especially fit option to explore in that respect. In a recent European project very interesting results were obtained in the development and industrial evaluation of an MDE process centered on the joint principles of correctness by construction and property preservation. The proceedings of that project were so encouraging in fact that a continuation of it was instigated with a challenging broader scope.This paper provides an account of the approach taken in the original project with regard to property preservation and outlines the intent of its continuation
Reliable Software Technologies – Ada-Europe 2014
No full textThe 19th edition of the International Conference on Reliable Software Technologies (Ada-Europe 2014) took place in the fascinating venue of Paris, graciously hosted by the Ecole d’Ing ́enieurs, ECE, on their spectacular campus very close to the Eiffel Tower. With this edition, the conference returned to France for the third time after Toulouse in 2003 and Brest in 2009. Two other countries have hosted the conference three times since its inception: Spain (Santander, 1999, Palma de Mallorca, 2004, and Valencia, 2010), and the UK (London, 1997, York, 2005, and Edinburgh, 2011). Three countries hosted it twice: Switzerland (Montreux, for the inauguration in 1996, and Geneva, 2007), Sweden (Uppsala, 1998, and Stockholm, 2012), and Germany (Potsdam, 2000, and Berlin, 2013). Four countries have their hosting counter still at one: Belgium (Leuven, 2001), Austria (Vienna, 2002), Portugal (Porto, 2006) and Italy (Venice, 2008).
The conference series is run and sponsored by Ada-Europe, in collaboration with local organizers, whenever possible (and luckily, often enough) representing the local Ada communities. This was the case this year, with Ada-France leading the organizing team, with precious reinforcement from members of the host institution, ECE. There were two main reasons for the conference to come to Paris. One was to facilitate an encounter between the vast industrial pole
based around Paris and the 2012 revision of the Ada language standard, which makes it especially attractive where reliability is a factor. The other was to start the celebrations of the 20th anniversary of the first validation of GNAT, which actually happened in 1995, before building a home in Paris after its birth in New York. These celebrations will peak in 2015, in nice sync with the 20th anniversary of the conference series
Requirements on the Target Programming Language for High-Integrity MDE
No full textThis paper discusses the requirements on the selection of a programming language as the target of automated code generation in a high-integrity model driven engineering environment. We show that the dominant point of view for this selection becomes that of the designer of the model-to-code transformation engine. We then illustrate the application of the proposed requirements on a simple example
Lessons Learned from the Implementation of On-Board Tolerance to Physical Faults in Ada
No full textThree qualities are especially required of modern programming languages: (i) not to get in the way; (ii) to help solve the problem; and (iii) to preserve the code value. These demands especially matter to the implementation of fault-tolerant real-time on-board systems. We take this perspective into account reporting on the lessons learned from the implementation of software tolerance to physical faults, for use on board space systems of the new generation. The implementation language was Ada 83 with forward-compatible enhancements in the way of the Ravenscar Profile. The language implementation was commercial off-the-shelf. The combination of the two performed acceptably, in the frame of a moderately successful experiment overall. Drawing from that experience, we single out language features of special value to our system and express requirements on critical features of the language implementation
Reliable Software Technology - Ada-Europe 2008. Proceedings of the 13th International Conference on Reliable Software Technologies - Ada-Europe 2008
No full textThis book constitutes the refereed proceedings of the 13th International Conference on Reliable Software Technologies, Ada-Europe 2008, held in Venice, Italy, in June 2008.
The 20 revised full papers presented were carefully reviewed and selected from numerous submissions. The conference proceedings published in this volume cover topics ranging from formal verification to real-time systems via concurrency, embedded systems, language technologies, model-driven engineering and applications of Petri Nets
Charting the evolution of the Ada Ravenscar code archetypes
No full textIn this paper we present the rationale, the status and the planned enhancement of a set of code archetypes that implement common programming patterns suited for the development of Ravenscar-compliant real-time systems. There have been other attempts at building software frameworks that ease the construction of real-
time software systems. Ours is not intended for direct access by the user, but for deployment in the back-end code generation engine of a model-based tool environment. A further distinguishing characteristic of our patterns is that they foster the principle of separation of concerns, whereby the functional code of the system
(which we require to be purely sequential) stays under the responsibility of the user, whereas the code that realizes the intended concurrency and real-time semantics is obtained by instantiation of predefined, correct by construction, archetypes
- …
