Ada i Sverige vårseminarium

Transcription

Ada i Sverige vårseminarium
Ada i Sverige vårseminarium
i samarbete med Sesam och
Institutionen för datorteknik, Uppsala Universitet
Ada, Model Railroading, and Software Engineering Education
13 april, 2000
John McCormick
How do you select a programming language for your project? Few developers
have the luxury of coding the same design in multiple languages to compare
language merits. For fifteen years my undergraduate students have implemented
the same large (12-15K lines), multi-tasking, real-time embedded system. In one 15
week semester, student teams specify, design, and implement software to control
a substantial model railroad layout. Minimum requirements include the running of
multiple trains with at least one controlled by a human ”engineer”, no collisions, and
detection and recovery from malfunctioning railroad and communication hardware.
Students implement everything from device drivers for custom I/O hardware
to high-level decision making algorithms. Student teams have implemented
the project in both Ada and C. My presentation will describe the course, the
laboratory, the project, and an analysis of the results achieved with each of the
implementation languages.
John McCormick is Professor and Head of the Computer Science
Department at the University of Northern Iowa. Previously, he was
Professor of Computer Science at the State University of New
York at Plattsburgh where he received the Chancellor’s Award for
Excellence in Teaching. He is the principal author of two Ada-based
textbooks for introductory computer science courses. He received
his BS degree from the Pennsylvania State University and his Ph.D.
from the University of California at Los Angeles.
John McCormick
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.
Pengarna sätts in på AiS pg 98 56 56 - 8.
Konferensen är
Anmälan enligt något av alternativen: Skicka till
här i Hus 1
AiS sekretariat, c/o Mariadata, Box 1085, 141 22
Huddinge, faxa till 08-774 37 93, ring 08-779 88 30,
skicka till [email protected] eller fyll i formulär på
www.ada-i-sverige.se. Senast 5 april!
Plats: Institutionen för datorteknik, Polackbacken,
Uppsala
Prisbelönta föredrag i Uppsala!
Vi har till vårseminariet lyckats få första pristagarna för bästa föredrag vid två olika Adakonferenser. John McCormick fick första pris för
sitt föredrag vid Ada-Europe i somras. Rod
Chapman fick första pris för sitt föredrag vid
SigADA i Californien i höstas. Missa dem inte
i Uppsala. Missa heller inte att via bland annat
Lars Asplunds föredrag närmare lära känna
Ravenscar och Adaforskningen i Uppsala.
AiS vårseminarium med årsmöte
13 april, 2000
9.30 - 10.00
10.00 - 10.05
10.05 - 11.00
11.00 - 12.00
12.00 - 13.00
13.15 - 14.00
Registrering och kaffe
Välkommen, Örjan Leringe, AiS ordförande
Korpen flyger, Lars Asplund
High-integrity development with SPARK, Rod Chapman
Lunch
Proof more cost-effective than testing? Industrial experience with SPARK..., Rod Chapman
14.00 - 14.30 Debate SPARK, Ravencar, Ada and safety...
14.30 - 14.50 Kaffe
14.50 - 15.50 Ada, Model Railroading, and Software Engineering Education, John McCormick
16.00
Ada i Sverige årsmöte
High-integrity development with SPARK
The SPADE Ada Kernel (SPARK) is an annotated subset of Ada desiged for
the programming of high-integrity systems. The first half of this presentation
will describe the design goals of SPARK, the principles behind the language,
and the financial implications of meeting standards such as Def-Stan 00-55
and DO-178B. Future enhancements to the language and the SPARK tools
will also be considered.
Proof more cost-effective than testing? Industrial experience
with SPARK...
The second part of the talk will focus on experience gained from real SPARK
projects, chiefly from SHOLIS - the first software project to attempt to meet the
requirements of IDS 00-55. Metrics gathered from the SHOLIS project show
that static analysis and proof were more effective and cheaper than traditional
unit- and integration-testing. We will also consider other projects, such as the
Lockheed C130J Mission Computer (which underwent a certification to DO-178B
Level A), the MULTOS CA (a non-traditional use of Ada), and a less successful
SPARK project.
Korpen flyger
Lars Asplund
En genomgång av Adas utvecklingen för säkerhetskritiska system kommer att ges,
med tyngdpunkt på Ravenscar-modellen. Ravenscar är ett väldefinierat subset, som
innefattar tasking, protected objects och full objektorientering. Modellen är kraftfull
nog för riktiga tillämpningar, samtidigt som den
möjliggör en rigorös formell beskrivning och bra
underlag för certifieringar. Förutom den allmänna
genomgången av vad Ravenscar innebär kommer
Hrrr Asplund att beskriva Mana-projektet. I det
projektet har en fullständig modell av Ravenscar
beskrivits i ett formellt verktyg nämnt Uppaal. En kort
genomgång av Uppaal kommer också att ges.
Rod Chapman
Rod Chapman is a software engineer with Praxis Critical Systems, of
Bath, UK. He joined Praxis in July 1995, following four years working
for the British Aerospace Dependable Computing Systems Centre at
the University of York, where he gained a DPhil for his research into
static timing analysis and program proof. Since joining Praxis, Rod
has worked on several safety-critical projects including the Lockheed
C130J Mission Computer, SHOLIS (the first software project to
meet Interim Defence Standard 00-55), and the MULTOS CA - a
high security financial application. Rod is currently a member of
the SPARK development team, working on the SPARK language
design, tool support, training, and research topics such as the
Ravenscar profile.
Rod is a member of the Ada95 Real-Time Issues Working Group,
and has presented papers at several conferences, including AdaUK
Lars Asplund, universitetslektor vid institutionen för informationsteknologi, har arbetat med Ada under många år, som forskningsledare
för ett par Ada-relaterade forskningsprojekt, som ordförande för Ada i
Sverige, som styrelsemedlem i Ada Europe, som medlem i programkommitten för flera Ada-konferenser och som konferensordförande
vid Ada Europe konferensen i Uppsala 1998. Andra verksamheter
utanför Ada-världen rör bland annat intressen för inbyggda system,
elektronik, lärande system och gamla Citroëner.
Lars Asplund
Helicopter and ship working in a Spark Environment (c) 1999 Royal Navy Surface Flotilla Photographic Unit