
	Where results make sense

Topic: Ravenscar Profile

Related Topics

Ada programming language

Mercury programming language

Jean Ichbiah

Strongly typed languages

Gnat

GNU Compiler Collection

Free software

Concurrent Versions System

Mac OS X

Apple Darwin

	[No title] (Site not responding. Last check: 2007-11-05)
		The profile identifier "Ravenscar" selects the mode of operation to be the Ravenscar Profile.
		Syntax The form of a pragma Profile is as follows: pragma Profile (profile_identifier [, profile_argument_associations]); profile_argument_associations ::= pragma_argument_association, {pragma_argument_association} Legality Rules The profile_identifier shall be either Ravenscar or an implementation-defined identifier.
		Other profiles may be defined by an implementation, for example to define the SPARK subset, or to define variations of the Ravenscar profile such as Ravenscar_Non_Preemptive.
	www.ada-auth.org /cgi-bin/cvsweb.cgi/AIs/AI-00249.TXT?rev=1.10 (1536 words)

	STSC CrossTalk - The Ravenscar Profile for Real-Time and High Integrity Systems - Nov 2003 (Site not responding. Last check: 2007-11-05)
		The profile was originally defined in 1997 at a workshop of international realtime experts and is named after the village of Ravenscar in northern England where the workshop was held.
		Although the Ravenscar Profile is specified in Ada terms, it is based on a language- independent set of building blocks that are suitable for constructing typical real-time systems, and as input to analysis tools that provide evidence that the concurrency requirements of the system have been met.
		The Ravenscar Profile is formally defined in terms of Ada95 constructs, and this definition has been accepted for inclusion in the revision to the ISO standard definition of the Ada language that is scheduled for 2005 release.
	www.stsc.hill.af.mil /crosstalk/2003/11/0311dobbing.html (2987 words)

	[No title] (Site not responding. Last check: 2007-11-05)
		A runtime profile is an alternative mode of operation that is defined by the standard.
		It is selected by inclusion of the configuration pragma Profile that @@ -43,122 +41,52 @@ Static Semantics pragma Profile (profile_identifier [profile_argument_definition]); The profile_identifier shall be either Ravenscar or an implementation-defined -identifier.
		New Identifiers - -The following new pragma Restrictions identifiers are defined and apply to -the alternative mode of operation defined by the Ravenscar Profile: - - Max_Entry_Queue_Length = N -Max_Entry_Queue_Length defines the maximum number N of calls that are queued on -an entry.
	www.ada-auth.org /cgi-bin/cvsweb.cgi/AIs/AI-00249.TXT.diff?r1=1.5&r2=1.6 (891 words)

	.:: I. Kristina Lundqvist, Phd ::. (Site not responding. Last check: 2007-11-05)
		The Ravenscar tasking profile for Ada 95 has been designed to allow implementation of highly safety critical systems in Ada.
		The definition of the Ravenscar Tasking Profile for Ada 95 provides a definition of a tasking runtime system with deterministic behaviour and low enough complexity to permit a formal description and verification of the model.
		The definition of the Ravenscar Tasking Profile for Ada95 provides a definition of a tasking runtime system with deterministic behaviour and low enough complexity to permit a formal description of the model.
	www.mit.edu /~kristina/pub.html (1554 words)

	ese - Article viewer (Site not responding. Last check: 2007-11-05)
		Ravenscar is based on a language-independent set of building blocks that are suitable for constructing typical real-time systems, and as input to analysis tools to provide evidence that the concurrency requirements of the system have been met.
		All stereotypes of HIP are defined in the Ameos profile editor and assigned to the appropriate elements of the UML meta-model, which assures easy and correct use in the modeling tool.
		The HIP profile aims to be compliant with standards such as ARINC 653 and Ravenscar, and at the same time meet the specific needs for high-integrity applications.
	www.esemagazine.co.uk /common/viewer/archive/2005/Feb/9/feature5.phtm (1658 words)

	AdaCore - High Integrity
		Although tasking is excluded, the Cert profile does allow Ada code (specifically, code that may raise or handle an exception, or invoke a function with an unconstrained result) to be called from non-Ada threads in an ARINC process.
		It may be simpler and less expensive to certify a concurrent program built on the Ravenscar profile than to certify a sequential program with no run-time library (and where the concurrency has to be simulated in application code).
		The Ravenscar profile is intended for applications comprising a fixed number of tasks (the number can be established at elaboration time) where each task is expressed as a loop.
	www.gnat.com /gnatpro_high_integrity.php (1717 words)

	[No title] (Site not responding. Last check: 2007-11-05)
		The Ada Ravenscar Profile is an ISO-level subset of the Ada concurrency model, which was expressly designed to meet the design and implementation requirements of embedded real-time systems.
		The notion of `profile' is also making it into the definition of the real-time extension of Java, whereby the J Consortium has proposed a high-integrity real-time profile that derives directly from the Ada Ravenscar Profile.
		In this talk, we present the specification and the rationale of the Ada Ravenscar Profile and we will relate it to the J Consortium high-integrity real-time profile.
	www.math.unipd.it /~tullio/Seminari_Informatica/vardanega.txt (244 words)

	SFS (Site not responding. Last check: 2007-11-05)
		ISO/IEC TR 24718:2005 gives a complete description of the motivations behind the Ada Ravenscar Profile, to show how conformant programs can be analysed and to give examples of usage.
		The profile is a subset of the Ada tasking model, restricted to meet the real-time community requirements for determinism, schedulability analysis and memory-boundedness, as well as being suitable for mapping to a small and efficient run-time system that supports task synchronization and communication, and which could be certifiable to the highest integrity levels.
		The profile has been designed such that the restricted form of tasking that it defines can be used even for software that needs to be verified to the very highest integrity levels.
	www.sfs.fi /luettelo/iso.php?standard=038828 (133 words)

	.: Soundaloud :: Ravenscar Profile (Site not responding. Last check: 2007-11-05)
		Ravenscar play hard rock, calling on influences such as Pearl Jam, Led Zep, Soundgarden and The Wildhearts.
		Free copies of their "To All Those Opposed" EP are given away at gigs and they have plans to record a new EP mid September 2004.
		Ravenscar have been out of the Sheffield music scene for longer than they would have liked, but now they're back at full strength with a new drummer and new songs to boot.
	www.soundaloud.com /band.php?artist_id=159 (316 words)

	Aonix - Press Releases (Site not responding. Last check: 2007-11-05)
		J Consortium is an industry-backed group dedicated to the development of open standards for the use of Java technologies in real-time and embedded applications in such diverse applications as avionics systems, industrial robotics, set-top boxes, and information appliances such as cellular phones and PDAs.
		Dobbing was a key developer of the RAVENscar Profile for high integrity systems and is chief architect of the Aonix RAVEN technology, which implements RAVENscar principles.
		Upon completion of the High Integrity Profile for J Consortium, Aonix anticipates adapting its RAVEN technology to the new profile to deliver real-time capabilities to Java developers, providing the proven fast execution, tiny footprint, and absolute behavioral predictability previously provided by RAVEN for other languages.
	www.aonix.com /pr_09.28.99b.html (542 words)

	Guide for the use of the Ada Ravenscar Profile in high integrity systems - Burns, Dobbing, Vardanega (ResearchIndex) (Site not responding. Last check: 2007-11-05)
		The authors wish to acknowledge the contributions of Peter Amey, Rod Chapman, Stephen Michell, Juan Antonio de la Puente, Phil Thornley and David Tombs and the permission by Aonix Inc. to use sections of their crossdevelopment guide for the ObjectAda/Raven product as the textual basis of the initial version of this report.
		With an emphasis on predictability and verifiability, the Ravenscar profile is...
		Guide for the use of the Ada Ravenscar Profile in high integrity systems.
	citeseer.ist.psu.edu /burns03guide.html (567 words)

	Ada 95 GNAT Pro High-Integrity Edition (Site not responding. Last check: 2007-11-05)
		This profile guarantees that no Ada run-time library is used in conforming applications.
		With this profile, the only code in the final executable (and thus the only code that needs to be certified) is that which is compiled from the source program.
		This profile complements the previous one by providing a simple Ada run-time implementing the Ravenscar tasking subset.
	www.windriver.com /cgi-bin/partnerships/directory/viewProd.cgi?id=1503 (266 words)

	C++ - Re: "Ravenscar-like" profile for C/C++
		> ADA Ravenscar is a restricted subset of the ADA language that has been
		There is no reason for such a subset in C++.
		profile may very well tighten that to "undefined behavior - must be
	www.codecomments.com /archive272-2004-5-182500.html (2050 words)

	Aonix - Education Services - The Ravenscar Profile and ObjectAda/Raven (Site not responding. Last check: 2007-11-05)
		Examples of how to use the Profile to construct the key building blocks of a real-time system are provided, as well as a detailed walkthrough of how to use the Raven development environment to best effect, including the user interface, the tools and the program library structure.
		Understand the architecture and use of the Ravenscar Profile.
		Ravenscar Profile tasking definition and examples of use.
	www.aonix.co.uk /ad11.html (177 words)

	ECE - product news
		The static and simple tasking model defined by the Ravenscar profile allows a streamlined implementation of the Ada run-time library directly on top of bare computers.
		The developer can choose from several predefined run-time libraries, each corresponding to a particular set of run-time Ada features, or, even more flexibly, configure a tailored library reflecting exactly the set of features that are used.
		Also as part of the ESA contract, AdaCore has developed a comprehensive test suite that checks compliance with the Ravenscar profile and correct behaviour of specialized features (such as the last-chance exception handler mechanism) and supplemental tools (such as the debugger).
	www.embedded-control-europe.com /prodnews?cat=1&pid=7296 (220 words)

	AdaCore - Pressroom
		GNAT Pro for ERC32, a flexible cross-compilation environment supporting the Ravenscar tasking profile on top of a bare ERC32 computer, is now available.
		AdaCore has developed a comprehensive test suite that checks compliance with the Ravenscar profile and correct behavior of specialized features (such as the last-chance exception handler mechanism) and supplemental tools (such as the debugger).
		IPL (www.ipl.com) were also involved in the development providing their AdaTEST 95 tool targeting the ERC32 compiler.
	www.gnat.com /pressroom_24.php (540 words)

	[No title]
		A new pragma Ravenscar establishes the set of restrictions that corresponds with the Ravenscar profile for limited tasking.
		This is a more restrictive set than Restricted_Run_Time, so use of pragma Ravenscar will also cause the restricted run time to be used.
		This is one of the Ravenscar restrictions GNAT now handles C, C++ and Fortran convention boolean types specially.
	www.ida.liu.se /education/ugrad/progkon/Ada/ada-sw/gnat/features (2043 words)

	Laboratório (Site not responding. Last check: 2007-11-05)
		The specification of the Ada 95 Ravenscar profile, defining a subset for the language’s multitasking mechanisms, allows critical software applications to be certified concerning its real-time and fault-tolerance properties.
		Nevertheless, in the presence of software replication and consequent distribution, further studies are still necessary, in order to use the Ravenscar profile.
		It is necessary to develop mechanisms to transparently support replication, and also the necessary schedulability analysis techniques to prove its real-time and fault-tolerance properties.
	paginas.fe.up.pt /uispa/external_proj.htm (826 words)

	comp.lang.c: "Ravenscar-like" profile for C/C++
		profile, it allow to build very deterministic applications that support
		I would like to know if there is a similar standard for C / C++.
		ADA Ravenscar is a restricted subset of the ADA language that has been...
	coding.derkeiler.com /Archive/C_CPP/comp.lang.c/2004-04/2961.html (413 words)

	Citations: Formal development of a real-time kernel - Fowler, Wellings (ResearchIndex) (Site not responding. Last check: 2007-11-05)
		A Formal Model of the Ada Ravenscar Tasking Profile;..
		In Raven some emphasis is put on suspension objects, which ts very well into the Ravenscar model.
		A Formal Model of the Ada Ravenscar Tasking Profile; Delay..
	citeseer.ifi.unizh.ch /context/391088/0 (678 words)

	Safety Critical Products: GSTART - Green Hills Software
		This profile is advocated in the ISO/IEC JTC 1/SC22/WG9 draft standard ISO/IEC, DTR 15942, "Programming Languages — Guide for the Use of the Ada Programming Language in High Integrity Systems".
		The intent of the profile is to define a tasking model that supports determinism and schedulability analysis.
		The profile defines dispatching to be FIFO within priority with protected objects having Ceiling Locking.
	www.ghs.com /products/safety_critical/gstart.html (342 words)

	Ada UK 15th International Conference
		Thursday, 22 October: Tutorials Half-day tutorials in the morning will be by Alan Burns on the Ravenscar tasking subset, and by Franco Gasperoni on the practical aspects of using Java and Ada under GNAT.
		The Ravenscar Profile was defined at the Eighth International Real Time Ada Workshop (1997) for high integrity, efficient, real-time systems.
		He has been involved with Ada for many years and with the series of workshops that led to the definition of the Ravenscar Profile.
	www.cs.kuleuven.ac.be /~dirk/ada-belgium/events/98/981019-adauk.html (2952 words)

	A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects - Lundqvist, Asplund, Michell (ResearchIndex) (Site not responding. Last check: 2007-11-05)
		Abstract: The definition of the Ravenscar Tasking Profile for Ada95 provides a definition of a tasking runtime system with deterministic behaviour and low enough complexity to permit a formal description of the model.
		In March 1999 the 9th IRTAW was held and the profile was again examined with the result that a few minor alterations and clarifications...
		1.5: Guide for the use of the Ada Ravenscar Profile in high..
	citeseer.ist.psu.edu /lundqvist99formal.html (606 words)

	It Consultancy - IT Consultancy Ravenscar (Site not responding. Last check: 2007-11-05)
		Ravenscar Jobs - Search for your ideal job in Ravenscar
		This project is concerned with formal analysis of Ravenscar programs University of York: TATA Consultancy Services (Tata Consultancy Services funded).
		1000-strong garrison in Malton and coastal forts at Scarborough and Ravenscar.
	www.candy-consultancy.co.uk /it_consultancy_ravenscar.html (298 words)

	Real Time Systems Group
		This paper presents a proposal for extending the Ravenscar Tasking Profile with annotations that can be used to express temporal properties.
		An approach using model checking for the verification of compliance to the annotations is also presented.
		abstract = {This paper presents a proposal for extending the Ravenscar Tasking Profile with annotations that can be used to express temporal properties.
	www.cs.york.ac.uk /rts/cgi-bin/bibtex/bibtex.pl?key=R:Burns:2003c (130 words)

	DBLP: Kristina Lundqvist
		Kristina Lundqvist, Lars Asplund, Stephen Mitchell: A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects.
		Kristina Lundqvist, Lars Asplund: A Formal Model of a Run-Time Kernel for Ravenscar.
		Kristina Lundqvist, Lars Asplund: A formal model of the Ada Ravenscar tasking profile; delay until.
	www.informatik.uni-trier.de /~ley/db/indices/a-tree/l/Lundqvist:Kristina.html (185 words)

	Restrictions and Profiles
		Table A-1 gives the default set of restrictions.
		These correspond to the Ravenscar profile, and support a limited form of tasking with protected types and interrupts.
		Restricted profile supports a similar set of restrictions by with tasking and protected types totally prohibited.
	www.xgc.com /manuals/erc32-ada-rms/restrictionsandprofiles.html (114 words)

	Aonix - Press Releases (Site not responding. Last check: 2007-11-05)
		Both solutions have been proven in safety- and mission-critical real-time projects in industries such as automotive, transportation and avionics.
		The predefined UML 2.0 Ravenscar profile in Ameos adds modelings capabilities and transformation rules that target Raven-based development projects.
		The Ameos Profile Editor allows stereotypes and tagged values to be defined and assigned to model elements of the UML Metamodel, ensuring that profiles are well-designed, documented and easy to use for the entire project team.
	www.aonix.de /pr_02_16_04a.html (660 words)

Try your search on: Qwika (all wikis)