Matches in SemOpenAlex for { <https://semopenalex.org/work/W84456379> ?p ?o ?g. }
- W84456379 abstract "Over the last decade we witness a steady grow of complexities in real-time systems. Today, developers have to face real-time constraints in almost every software system, from embedded software to financial systems, internet services, and computer entertainment industry. To address this widespread challenge, the Real-Time Specification for Java (RTSJ) has been proposed. However, RTJS itself introduces many nonintuitive rules and restrictions that doom its programming model to be highly error-prone. Moreover, in contrast to the approaches for mainstream software development, the engineering technologies, tools, and frameworks for real-time systems are nowhere near as groundbreaking. The vision behind this dissertation is to ultimately close the gap between real-time programming and today's software technology. Therefore, this dissertation investigates scalable software engineering techniques for RTSJ programming. Our fundamental philosophy is to introduce high-level abstractions of RTSJ concepts in order to leverage development of real-time Java systems. As the first contribution of this thesis, we introduce domain components - an approach to unified expression and manipulation of domain-specific concerns along the software development lifecycle. We use the domain components to construct high-level abstractions of RTSJ specifics that ultimately allow developers to achieve full separation of functional and RTSJ-specific concerns in the development lifecycle. We thus allow developers to reuse and tailor the systems for variously constraining real-time requirements. Second, we propose SOLEIL- a component framework for development of RTSJ systems, the framework introduces a development methodology mitigating the complexities of the RTSJ programming model. Furthermore, we introduce the HULOTTE toolset for automatic instantiation of developed applications. In this process, the functional implementation is separated from RTSJspecific code which is automatically instantiated. In consequence, the development process is fully transparent, RTSJ complexities are hidden from the developers, and the process itself highly resembles to the standard Java development. Finally, the domain component concept and the RTSJ rules and restrictions are defined in the Alloy language which allows us to formally verify that the development process and outcoming software systems are compliant with RTSJ. To validate the approach, we conduct several case studies challenging our proposal from different perspectives. First, performed benchmarks show that the overhead of the SOLEIL framework is minimal in comparison to manually written object-oriented applications while providing more extensive functionality. Second, considering the state-of-the-art RTSJ programming methods, we achieve better separation of functional and RTSJ concerns, thus increasing efficiency of the development process. Finally, we demonstrate universality of the domain component concept by showing its ability to address various domain-specific challenges." @default.
- W84456379 created "2016-06-24" @default.
- W84456379 creator A5026611980 @default.
- W84456379 date "2009-09-14" @default.
- W84456379 modified "2023-09-25" @default.
- W84456379 title "SOLEIL: An Integrated Approach for Designing and Developing Component-based Real-time Java Systems" @default.
- W84456379 cites W120076991 @default.
- W84456379 cites W146458024 @default.
- W84456379 cites W1487626620 @default.
- W84456379 cites W1500250067 @default.
- W84456379 cites W1503092499 @default.
- W84456379 cites W1505602377 @default.
- W84456379 cites W1514680377 @default.
- W84456379 cites W1515026142 @default.
- W84456379 cites W1516612664 @default.
- W84456379 cites W1519442771 @default.
- W84456379 cites W1520674597 @default.
- W84456379 cites W1522587895 @default.
- W84456379 cites W1537522494 @default.
- W84456379 cites W1540551167 @default.
- W84456379 cites W1549521321 @default.
- W84456379 cites W1549668409 @default.
- W84456379 cites W1566718657 @default.
- W84456379 cites W1571437122 @default.
- W84456379 cites W1574459816 @default.
- W84456379 cites W1577065981 @default.
- W84456379 cites W1578608206 @default.
- W84456379 cites W1603602584 @default.
- W84456379 cites W1603960344 @default.
- W84456379 cites W1712248731 @default.
- W84456379 cites W1774577175 @default.
- W84456379 cites W1853823119 @default.
- W84456379 cites W1864755370 @default.
- W84456379 cites W1892747443 @default.
- W84456379 cites W1895387792 @default.
- W84456379 cites W1965561833 @default.
- W84456379 cites W1968189280 @default.
- W84456379 cites W1973252101 @default.
- W84456379 cites W1977237328 @default.
- W84456379 cites W1978109360 @default.
- W84456379 cites W1978434005 @default.
- W84456379 cites W1988965880 @default.
- W84456379 cites W1989036804 @default.
- W84456379 cites W1991706358 @default.
- W84456379 cites W1995474288 @default.
- W84456379 cites W1995825564 @default.
- W84456379 cites W1997998060 @default.
- W84456379 cites W1999400340 @default.
- W84456379 cites W2006988775 @default.
- W84456379 cites W2013481538 @default.
- W84456379 cites W2019594492 @default.
- W84456379 cites W2021682354 @default.
- W84456379 cites W2027553428 @default.
- W84456379 cites W2028151683 @default.
- W84456379 cites W2029284050 @default.
- W84456379 cites W2034833774 @default.
- W84456379 cites W2037921346 @default.
- W84456379 cites W2046531487 @default.
- W84456379 cites W2049353084 @default.
- W84456379 cites W2051544187 @default.
- W84456379 cites W2056650749 @default.
- W84456379 cites W2062532313 @default.
- W84456379 cites W2066172891 @default.
- W84456379 cites W2068680003 @default.
- W84456379 cites W2091514183 @default.
- W84456379 cites W2096183937 @default.
- W84456379 cites W2097493303 @default.
- W84456379 cites W2101730275 @default.
- W84456379 cites W2103883247 @default.
- W84456379 cites W2104373165 @default.
- W84456379 cites W2106974838 @default.
- W84456379 cites W2108504800 @default.
- W84456379 cites W2109052065 @default.
- W84456379 cites W2109893330 @default.
- W84456379 cites W2112058294 @default.
- W84456379 cites W2113329722 @default.
- W84456379 cites W2113488668 @default.
- W84456379 cites W2113594494 @default.
- W84456379 cites W2116149083 @default.
- W84456379 cites W2116242138 @default.
- W84456379 cites W2117711731 @default.
- W84456379 cites W2118522165 @default.
- W84456379 cites W2118893560 @default.
- W84456379 cites W2120903911 @default.
- W84456379 cites W2123511180 @default.
- W84456379 cites W2124057877 @default.
- W84456379 cites W2125554265 @default.
- W84456379 cites W2125579889 @default.
- W84456379 cites W2126411751 @default.
- W84456379 cites W2128400955 @default.
- W84456379 cites W2130241392 @default.
- W84456379 cites W2134119432 @default.
- W84456379 cites W2137033503 @default.
- W84456379 cites W2137948900 @default.
- W84456379 cites W2138536237 @default.
- W84456379 cites W2139115867 @default.
- W84456379 cites W2139403237 @default.
- W84456379 cites W2142776991 @default.
- W84456379 cites W2142897505 @default.
- W84456379 cites W2145097888 @default.