Kim, JinhyunKang, SungwonGarcía Valls, MarisolCucinotta, Tommaso2013-11-152013-11-152012-12-04REACTION 2012, co-located with IEEE RTSS. San Juan, Puerto Rico. December 4th, 2012. Universidad Carlos III de Madrid, 2012, pp. 3-8https://hdl.handle.net/10016/17932REACTION 2012. 1st International workshop on Real-time and distributed computing in emerging applications. December 4th, 2012, San Juan, Puerto Rico.Electricity generating systems, such as smart grid systems, and water management systems are infrastructure systems that manage resources critical to human life. In the systems, resources are produced and managed to supply them to various consumers, such as building, car, factory, and household, according to their needs and priorities. Reliable supply of resources depends not only on sufficient production of resources but also on reliable sharing of resource supply facilities. This paper presents a schedulability analysis framework. A prominent characteristic of the framework is that it considers at once the two types of resources, i.e. consumable resources, such as electricity, energy, and water, and sharable resources, such as pipelines, storages, and processors, are considered. To apply a formal approach to schedulability analysis of infrastructure system, this paper classifies the types of resources and real-time jobs for infrastructure systems. Then based on the classification , it presents an architectural model and a schedulability analysis framework.6application/pdfengAtribución-NoComercial-SinDerivadas 3.0 EspañaSchedulingReal-timeResource managementResourceHeterogeneous resourcesSchedulability analysisTiming analysisFormal methodsconference proceedingsTelecomunicacionesopen access38International Workshop on Real-Time and Distributed Computing in Emerging Applications (REACTION, 2012)