FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3200725287> ?p ?o ?g. }

• W3200725287 abstract "Safety-critical embedded systems, commonly found in automotive, space, and health-care, are highly reactive and concurrent. Their most important characteristics are that they require both functional and timing correctness. C has been the language of choice for programming such systems. However, C lacks many features that can make the design process of such systems seamless while also maintaining predictability. In contrast, the synchronous programming paradigm offers an alternative approach for programming safety-critical applications. The formal semantics of synchronous programming languages establish a well-defined behaviour of a program. The synchronous paradigm adopts an abstract notion of time by viewing a system as evolving in a sequence of discrete steps. This simplifies program debugging, testing and validation, and leads to clear temporal constructs. These features make synchronous languages more expressive, but also makes them less familiar to programmers trained in conventional languages, like C. In this thesis, we address the need for a C-based design framework for programming safety-critical applications. Inspired by the synchronous programming paradigm, we propose the following. (1) A new language called, Precision Timed C (PRET-C) that provides a small set of extensions to a subset of C to facilitate effective concurrent programming of safety-critical applications. We present a new synchronous semantics for PRET-C and guarantee that all PRET-C programs are deterministic, reactive, and provides thread-safe communication via shared memory access. (2) A new predictable architecture, called ARPRET. It offers the ability to design time predictable architectures through simple customizations of soft-core processors. We have designed ARPRET particularly for efficient and predictable execution of PRET-C. (3) A new static timing analyser for validating the timing deadlines of a synchronous program. Here, we consider pruning of infeasible paths for tighter analysis along with new fast and precise technique for analysing cache-based architectures. (4) A new cache analysis approach for analysing the behaviour of instructions exe-cuting on a direct mapped cache. Using a binary representation and a new abstraction, we reduce the analysis time without sacrificing the precision. This offers the ability to analyse large PRET-C programs. The proposed framework in this thesis is implemented and evaluated as follows. Firstly, the PRET-C language is supported using C macros. Experimental results reveal that PRET-C yields significantly more efficient code compared to other C-based synchronous languages. Secondly, the ARPRET architecture is synthesised on an FPGA and it is shown through extensive benchmarking that this significantly improves throughput of PRET-C programs, while maintaining predictability. Thirdly, the proposed static timing analyser is based on the model checking technique. It is very effective in pruning infeasible paths. Experiments show that the proposed approach gives significantly more precise results…" @default.
• W3200725287 created "2021-09-27" @default.
• W3200725287 creator A5079479704 @default.
• W3200725287 date "2013-01-01" @default.
• W3200725287 modified "2023-09-26" @default.
• W3200725287 title "Predictable Platforms for Safety-Critical Embedded Systems" @default.
• W3200725287 cites W1482275438 @default.
• W3200725287 cites W1482836859 @default.
• W3200725287 cites W1502289695 @default.
• W3200725287 cites W1503973138 @default.
• W3200725287 cites W1514819218 @default.
• W3200725287 cites W1519756355 @default.
• W3200725287 cites W1521915012 @default.
• W3200725287 cites W1527654363 @default.
• W3200725287 cites W1534232413 @default.
• W3200725287 cites W1534602475 @default.
• W3200725287 cites W1555915743 @default.
• W3200725287 cites W1560508321 @default.
• W3200725287 cites W1566019048 @default.
• W3200725287 cites W1589870275 @default.
• W3200725287 cites W1595437973 @default.
• W3200725287 cites W1604429416 @default.
• W3200725287 cites W1780290295 @default.
• W3200725287 cites W1795705608 @default.
• W3200725287 cites W1943502734 @default.
• W3200725287 cites W1962072139 @default.
• W3200725287 cites W1975124265 @default.
• W3200725287 cites W1993449345 @default.
• W3200725287 cites W2000168498 @default.
• W3200725287 cites W2000818684 @default.
• W3200725287 cites W2002106209 @default.
• W3200725287 cites W2007037339 @default.
• W3200725287 cites W2013464721 @default.
• W3200725287 cites W2024391966 @default.
• W3200725287 cites W2024571379 @default.
• W3200725287 cites W2028995568 @default.
• W3200725287 cites W2031131603 @default.
• W3200725287 cites W2044638745 @default.
• W3200725287 cites W2049455231 @default.
• W3200725287 cites W2052649320 @default.
• W3200725287 cites W2058713130 @default.
• W3200725287 cites W2062066235 @default.
• W3200725287 cites W2067660926 @default.
• W3200725287 cites W2072725684 @default.
• W3200725287 cites W2076285066 @default.
• W3200725287 cites W2080875873 @default.
• W3200725287 cites W2081938726 @default.
• W3200725287 cites W2091769923 @default.
• W3200725287 cites W2097973125 @default.
• W3200725287 cites W2101431901 @default.
• W3200725287 cites W2101508170 @default.
• W3200725287 cites W2102800454 @default.
• W3200725287 cites W2102990810 @default.
• W3200725287 cites W2104626020 @default.
• W3200725287 cites W2104773116 @default.
• W3200725287 cites W2107971662 @default.
• W3200725287 cites W2108024087 @default.
• W3200725287 cites W2108166217 @default.
• W3200725287 cites W2108589408 @default.
• W3200725287 cites W2109357847 @default.
• W3200725287 cites W2109565511 @default.
• W3200725287 cites W2112474235 @default.
• W3200725287 cites W2116912109 @default.
• W3200725287 cites W2118229393 @default.
• W3200725287 cites W2118699129 @default.
• W3200725287 cites W2118945502 @default.
• W3200725287 cites W2122403474 @default.
• W3200725287 cites W2122833539 @default.
• W3200725287 cites W2125023624 @default.
• W3200725287 cites W2125415493 @default.
• W3200725287 cites W2126511047 @default.
• W3200725287 cites W2127335869 @default.
• W3200725287 cites W2127432103 @default.
• W3200725287 cites W2128337123 @default.
• W3200725287 cites W2129538349 @default.
• W3200725287 cites W2132226913 @default.
• W3200725287 cites W2136468674 @default.
• W3200725287 cites W2136910062 @default.
• W3200725287 cites W2138520364 @default.
• W3200725287 cites W2141670680 @default.
• W3200725287 cites W2143442623 @default.
• W3200725287 cites W2145588365 @default.
• W3200725287 cites W2147236388 @default.
• W3200725287 cites W2147469315 @default.
• W3200725287 cites W2148847760 @default.
• W3200725287 cites W2151653149 @default.
• W3200725287 cites W2152010088 @default.
• W3200725287 cites W2159638992 @default.
• W3200725287 cites W2160336718 @default.
• W3200725287 cites W2161566505 @default.
• W3200725287 cites W2162969303 @default.
• W3200725287 cites W2163151857 @default.
• W3200725287 cites W2163202742 @default.
• W3200725287 cites W2165951089 @default.
• W3200725287 cites W2166295031 @default.
• W3200725287 cites W2167063706 @default.
• W3200725287 cites W2179148191 @default.
• W3200725287 cites W2246084703 @default.
• W3200725287 cites W2258695092 @default.
• W3200725287 cites W226385688 @default.

• next