Diss. Västerås : Mälardalens högskola, 2007. / S. 153-[169]: Bibliografi.

Diss. Uppsala : Univ., 2003.

Lic.-avh. (sammanfattning) Uppsala : Univ., 2004. / S. 1-52: sammanfattning, s. 53-162: 3 uppsatser.

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.

<p>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. Det som utvärderats är effektivitet av genererad kod, kompileringstid, storlek på genererad kod, kodportabilitet och utbud av färdiga komponenter. Undersökningen har genomförts med hjälp av praktiska tester.</p>

<p>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.</p><p>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. Riktlinjerna är utformade så att de kan användas i felsökningsverktyg i alla typer av programvaror. Riktlinjer är även särskilt anpassade till standard IEC 1131-3 för PLC-system, vilka är en typ av realtidssystem.</p>

<p>System integration, interoperability, just in time delivery, window of opportunity, and dust-to-dust optimization are all keywords of our computerized future. Survivability is an important concept that together with dependability and quality of service are key issues in the systems of the future, i.e. infrastructural systems, business applications, and everyday desktop applications. The importance of dependable systems and the widely spread usage of dependable system together with the complexity of those systems makes middleware and frameworks for survivability imperative to the system builder of the future. This thesis presents a simulation approach to investigate the effect on data survival when the defending system uses knowledge of the current situation to protect the data. The results show the importance of situation awareness to avoid wasting recourses. A number of characteristics of the situational information provided and how this information may be used to optimize the system.</p>

System integration, interoperability, just in time delivery, window of opportunity, and dust-to-dust optimization are all keywords of our computerized future. Survivability is an important concept that together with dependability and quality of service are key issues in the systems of the future, i.e. infrastructural systems, business applications, and everyday desktop applications. The importance of dependable systems and the widely spread usage of dependable system together with the complexity of those systems makes middleware and frameworks for survivability imperative to the system builder of the future. This thesis presents a simulation approach to investigate the effect on data survival when the defending system uses knowledge of the current situation to protect the data. The results show the importance of situation awareness to avoid wasting recourses. A number of characteristics of the situational information provided and how this information may be used to optimize the system.

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. Det som utvärderats är effektivitet av genererad kod, kompileringstid, storlek på genererad kod, kodportabilitet och utbud av färdiga komponenter. Undersökningen har genomförts med hjälp av praktiska tester.

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. Riktlinjerna är utformade så att de kan användas i felsökningsverktyg i alla typer av programvaror. Riktlinjer är även särskilt anpassade till standard IEC 1131-3 för PLC-system, vilka är en typ av realtidssystem.