Denna studie har som syfte att undersöka om det finns en typ av system vars egenskaper liknar både traditionella system och e-infrastrukturer utan att tillhöra någon av dessa typer samt hur en designmodell skulle se ut för denna typ av system. Detta system kallar vi gränsfallssystem. För att undersöka om denna finns har traditionella system och e-infrastrukturer samt hur man utvecklar dessa typer av system analyserats. Detta för att se ifall det existerar någon form av system som har egenskaper från båda dessa ytterligheter och om det existerar sådana system hur man på bästa sätt ska utveckla dem. En designmodell skapas därmed och testas via en fallstudie för att se hur väl den teoretiska modellen stämmer överens med systemutveckling i den praktiken. Resultatet av studien visade att det finns en typ av system som varken ryms inom ramen för e- infrastrukturer eller traditionella system. Resultatet visade också att designmodellen kan appliceras på denna typ av system. Vid utvecklingen såg vi dock att många av designprinciperna i designmodellen inte föreföll relevanta. Definitionen för gränsfallssystem passade också bara på vissa delar av fallstudien. Definitionen för gränsfallssystem har efter studiens genomförande omarbetats till: -  Den första systemversionen består av få men mycket genomtänkta och direkt användbara funktioner. -  Vilka funktioner som i senare versioner läggs till bestäms av vilka behov av ytterligare funktionalitet användarna ser när systemet är operativt. Till denna definition presenterar studien designregler, som i fallstudien löste de problem som uppstod, kopplade till de specifika egenskaperna för den omarbetade versionen av definitionen. / The purpose of this study is to examine if there's a type of system which properties reminds of both traditional systems and e-infrastructures without belonging to either of the two. How a design model for development of this kind of system looks will also be examined. The kind of system is what we refer to as a borderline system. To examine this traditional systems and E-infrastructures and their development methods have been analyzed in order to see if there is some kind of system in between the two endpoints. And if there is something there, how a design model for this kind of borderline system would look. A case study was applied to see how well the theoretical design model was applicable to practical system development. Results of the study show that there in fact is a type of system, which do not fit in the frames of neither traditional systems nor e-infrastructures. It also showed that the design model could be applied during development of this kind of system. During the development many of the design principles were found irrelevant. The definition of borderline systems was also only applicable for some parts of the developed system. The definition of borderline systems were then reformed to: - The first version of the system contains only a few but through thought functions that generate direct usefulness. - Which functions that will be added in later versions will be decided by the need of these functions that is expressed by the users during the operating time of the system. The study presents design rules, which in the development process solved the problems that were found and linked to the specific properties of the redefined version of the borderline system definition.

Due to higher requirements of computational power and safety, or functional safety ofequipments intended for the use in the industrial domain, embedded systems containing areal-time operating system are still the active area of research. This thesis addresses thehardware-assisted control module that is based on the runtime model-based verificationof a target application. This subsystem is intended to increase the diagnostic coverage,particularly, the detection of the execution errors. After the specification of the architecture,the formal model is defined and implemented into hardware using FPGA technology.This thesis also discuss some other aspects and embodies new approaches in the area ofembedded flow control, e.g. the integration of the design patterns. Using the simulation,the created module was tested using the created scenarios, which follow the real programexecution record. The results suggest that the error detection time is lower than usingstandard techniques, such a watchdog.