Denna rapport är resultat av en fallstudie som utförts på fyra företag som arbetar med utveckling av Realtidssystem som är kritiska ur någon aspekt. Det finns många programmeringsspråk som kan användas inom realtidstill¬ämpningar. Vid utveckling av kritiska Realtidssystem är det viktigt att program¬meringsspråket har bra stöd för tidshantering och egenskaper som för¬hindrar mänskliga fel som kan följa med till maskinkoden i målsystemet. Mindre lämpliga programmeringsspråk kan ge upphov till fler buggar, vilket medför tids¬krävande och dyra tester som kunnat undvikas med annat programmeringsspråk. Resultatet som presenteras i denna rapport visar att programmeringsspråket C används i stor utsträckning för kritiska tillämpningar.

En stor del av tiden vid utveckling av programvaror går idag ut på att leta efter fel i dem. Oavsett hur mycket tid och pengar som läggs ner på denna aktivitet är det inte säkert att alla fel hittas. Detta kan få katastrofala följder, speciellt för Realtidssystem då även fysisk apparatur skall skötas. Då ett fel verkligen har påvisats gäller det att försöka lokalisera och identifiera felet. Då detta kan ske under tidspress, till exempel om felet rör ett Realtidssystem redan i användning, behövs stort stöd från felsökningsverktyg för att underlätta att snabbt lokalisera och identifiera ett fel.Detta examensarbete identifierar genom en teoretisk undersökning ett antal riktlinjer för de stöd ett felsökningsverktyg kan ge felsökaren under felsökningsprocessen.

Hösten 1991 startade Linköpings kommun ett projekt, som syftade till att införa ett kommungemensamt geografiskt informationssystem, LINGIS. Systemet hanterar kommunens fastigheter, byggnader, vägar och planer som geografiska individer med koppling till befintliga källregister, såsom fastighetsdatasystemet och personinvånarregistret. Kommunlantmäteriet, som har uppdrag att förvalta och utveckla systemet, vill undersöka möjligheterna att använda LINGIS som informationskälla i ett Realtidssystem. I examensarbetet utvecklas ett testsystem för att undersöka möjligheter och ge erfarenheter av positionsbestämning i realtid. Genom att sända positionsdata från till exempel ett fordon till en sambandscentral är det möjligt att påverka källan.

Vid implementering av realtidsapplikationer krävs det att man kan använda hårdvaran på ett deterministiskt vis. En realtidsapplikation ställer stora krav på körtider och hur applikationen schemaläggs. Det är därför av största vikt att kontrollera om de uppfyller dessa krav. I detta examensarbete har tre system för realtidsapplikationer jämförts och en analys av framförallt sina beräkningsförmågor och hur pass deterministiskt de uppför sig gällande körtider har gjorts. Även andra aspekter så som utvecklingsmiljöer för mjukvara, tillbehör och effektförbrukning har jämförts. .

Datoranvändningen i samhället växer för varje dag. Det är då viktigt att programvara håller hög kvalité, då vissa programvaror styr kritiska maskiner som exempelvis flygplan. Ett sätt att få kvalitativa programvaror är att använda bra utvecklingsverktyg. I detta arbete utvärderas fem olika utvecklingsverktyg: GNAT (Ada), Microsoft Visual C++, Microsoft J++, Borland Delphi och Active Perl. Inriktningen på utvärderingen är mot utveckling av programvara för PLC-system.

Testmetoder för tidskritiska applikationer har ofta bara omfattat statiska testmetoder där slutsatser kring applikationens exekveringstider och beteende dras utifrån studier av programkod och underliggande hårdvara. I detta arbete undersöks en dynamisk testmetod för framtagning av indata som med framgång använts i tidigare arbeten för bestämning av extrema exekveringstider hos applikationer. Detta arbete utvärderar tre varianter av denna testmetod för att försöka finna indata till applikationer som kan ge en inom ramen för applikationens möjligheter godtycklig exekveringstid. Detta för att förbättra möjligheterna att styra testning av denna typ av applikationer.Arbetet har visat att två av de tre algoritmvarianterna har lyckats tämligen väl med att komma närmare det mål som sattes upp som exekveringstid men inga närmare slutsatser har kunnat dras kring vilka parametrar som påverkat dessa varianters effektivitet..

Realtidssystem ställer hårda krav på dess ingående mjukvaras temporala beteende. Programmen måste bete sig deterministiskt och ge svar inom satta tidsgränser. Med hårda krav följer större behov av verktyg att testa koden med. WCET (Worst Case Execution Time)-analys har som mål att finna en övre gräns för ett programs exekveringstid. SWEET (SWEdish Execution Time) är ett verktyg för WCET-analys utvecklat av en forskargrupp vid Mälardalens Högskola.PowerPC är en klassisk processorarkitektur som utvecklades av Apple, Motorola och IBM och släpptes 1991.