Ada i Sverige vårseminarium
i samarbete med
Sesam och Institutionen för datavetenskap (IDA), Linköpings universitet.

Praktiska anvisningar i slutet på denna sida.

Torsdagen den 22 april i Linköping

Program

Ada i Jas 39 nya styrsystem
Bo Frisberg

Styrsystemet i JAS 39 Gripen är ett i hög grad säkerhetskritiskt system. I samband med uppgraderingen av styrsystemets datorer gjordes programvarusystemet om i Ada. Föredraget visar bl a att preemptive scheduling implementerad med tasking, kan förenas med höga tillförlitlighetskrav och determinism. Vidare beskrivs hur konsistenta data mellan periodiska tasks säkras och hur hanteringen av exceptions är anordnad.

Bo Frisberg, Saab AB

Trust me - It's Safe
Brian Dobbing

Safety critical systems may have deadly consequences if they fail. The requirements on software for modern systems often imply the need for flexible and versatile programs. How do we balance this flexibility against maintaining safety standards? Can we recognize the characteristics of software that appear to increase the risk of system hazards? Can we remove the use of such software to make the risks "acceptably improbable"? What role does Ada play in these systems?"

The Ravenscar Profile for High-Integrity Real-Time Programs
Brian Dobbing

The Ravenscar Profile addresses the need for greater software flexibility whilst meeting the rigorous requirements of safety standards. The use of Ada in high integrity systems is already well-established but current practice excludes the use of Ada tasking, despite the fact that such systems are inherently concurrent. The Ada95 language revision has introduced deterministic constructs to the Ada tasking model thereby opening the door to their usage in high integrity software.

Brian Dobbing is Chief Architect of Safety-Related Products at Aonix. He spearheaded the initiative to introduce the benefitsof Ada tasking to the safety-critical community, and was a key member of the workshop that defined the Ravenscar Profile which has now been included in ISO guidelines for the use of Ada in high integrity systems. Brian is the architect and chief designer of the Aonix product line called "Raven" which is the realization of the Ravenscar Profile for targets such as PowerPC, MC680x0 and Intel families.

Compiling Ada for the Java Virtual Machine
Franco Gasperoni

During the talk Franco will be talking about the ACT JGNAT effort.He will spend quite a bit of time talking about the present state of Java, and the RT domain. He will explain what needs to be done in the Java platform to tighten its RT spec. He will talk about the difficulties/nice points of compiling Ada for the JVM. There will be a lot of interesting things about GNAT and the Java VM.

Franco Gasperoni is managing director of ACT-Europe, the european GNAT company. He has been involved in the implementation of Ada compilers for 10 years. He has taught courses in programming languages, compilers, operating systems, and software engineering for 8 years. Franco is one of the main architects of the GNAT to Java effort that is currently underway.

Plats: Collegium, konferenscentrum invid universitetet.
Färdsätt: Tåg från Stockholm med InterCity går 7.12 och kommer fram 9.37. Om övriga färdsätt och taxibeställning, se länken Collegium.
Pris: 1 950 kr utom för medlemmar i AiS och Sesam som betalar 1 700 kr. Studerande betalar 150 kr vilket inkluderar lunch, annars ingenting. Bli gärna medlem nu och få den lägre avgiften. Medlemsavgiften är 250 kr. Moms tillkommer på konferenspriset.
Betalning: Pengarna sätts in på AiS pg 98 56 56 - 8.
Anmälan: Fyll i formulär eller skicka skriftlig anmälan till AiS sekretariat, information finns på AiS förstasida. Senast 14 april!