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