154,690 Hits in 6.0 sec

Model-Based Analysis of Contract-Based Real-Time Scheduling [chapter]

Georgiana Macariu, Vladimir Creţu
2009 Lecture Notes in Computer Science  
We use model checking and transform the schedulability analysis problem into a reachability checking of a timed automata model of the service contracts.  ...  We apply automata theory to analyze the schedulability of real-time component-based applications running on uniform multi-processor platforms.  ...  Furthermore, we present a compositional approach based on timed automata for schedulability analysis of component-based real-time applications running on uniform multi-processor platforms.  ... 
doi:10.1007/978-3-642-10265-3_21 fatcat:s3436pki6nck3cn36kek6xrfmq

Towards the systematic analysis of non-functional properties in Model-Based Engineering for real-time embedded systems

Guillaume Brau, Jérôme Hugues, Nicolas Navet
2018 Science of Computer Programming  
In fact, the large number of applicability conditions makes the use of real-time scheduling analysis tedious and error-prone.  ...  Real-time properties. We concentrate on real-time properties. We focus on a particular kind of analytical methods called real-time scheduling analyses [20] . Structure of the paper.  ...  We validated this approach for the real-time scheduling analysis of an existing embedded system: the Paparazzi UAV designed with the Architecture Analysis and Design Language.  ... 
doi:10.1016/j.scico.2017.12.007 fatcat:ri3wzlgnnbda7hloaw43h64wqe

Heterogeneous models and analyses in the design of real-time embedded systems - an avionic case-study

Guillaume Brau, Nicolas Navet, Jérôme Hugues
2017 Proceedings of the 25th International Conference on Real-Time Networks and Systems - RTNS '17  
We then combine different real-time scheduling analyses so as to gradually define the task and network parameters and finally validate the schedulability of all activities of the system.  ...  The development of embedded systems according to Model-Driven Development relies on two complementary activities: system modeling on the one hand and analysis of the non-functional properties, such as  ...  A main novelty is the automatic selection of real-time scheduling analyses based on the notion of real-time context (i.e. a set of assumptions related to the tasks).  ... 
doi:10.1145/3139258.3139281 dblp:conf/rtns/BrauNH17 fatcat:bug4faodkvaeldanvq3em77wzy

Towards Customizable CPS: Composability, Efficiency and Predictability [chapter]

Wang Yi
2017 Lecture Notes in Computer Science  
theory of multi-resource (inc. multiprocessor) scheduling, and (3) New-generation techniques and tools for fully separated verification of timing and functional properties of real-time systems with significantly  ...  We present research directions to address these challenges: (1) Open architectures and implementation schemes for building composable systems, (2) Fundamental issues in real-time scheduling aiming at a  ...  ., specified using graph-based real-time task models e.g., [34] .  ... 
doi:10.1007/978-3-319-68690-5_1 fatcat:wwfoniwr2zayfcvigxggfaed2a

Real-time scheduling interfaces and contracts for the design of distributed embedded systems

Ingo Stierand, Philipp Reinkemeier, Tayfun Gezgin, Purandar Bhaduri
2013 2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES)  
A notion of interfaces based on regular languages for modelling and verification of real-time scheduling constraints was proposed in [5] .  ...  The work is complemented by an initial implementation that performs scheduling analysis for a relevant class of real-time interfaces.  ...  It also defines a class of real-time models from which timing contracts and interfaces will be derived.  ... 
doi:10.1109/sies.2013.6601485 dblp:conf/sies/StierandRGB13 fatcat:lnai3wssnfd4bomj4z2ulfiu7m

A proposal for real-time interfaces in SPEEDS

Purandar Bhaduri, Ingo Stierand
2010 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)  
In this paper we propose a language-based framework for real-time component interfaces in SPEEDS that is suitable at the ECU layer when a target processor has been identified, and WCET analysis done.  ...  We assume a discrete time model.  ...  The first author gratefully acknowledges the support from the University of Oldenburg and AVACS, and OFFIS for hosting him during the work.  ... 
doi:10.1109/date.2010.5457163 dblp:conf/date/BhaduriS10 fatcat:yp2axstxobgnfjgmijyb4xd6n4

Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory [chapter]

Susanne Graf, Sophie Quinton, Alain Girault, Gregor Gössler
2018 Lecture Notes in Computer Science  
The design and verification of critical cyber-physical systems is based on a number of models (and corresponding analysis techniques and tools) representing different viewpoints such as function, timing  ...  We believe that a more flexible contract-based approach could lead to easier integration, to relaxed assumptions, and consequently to more cost efficient systems while preserving the current modelling  ...  Schedulability analysis is based on a model of the software represented as a set of tasks scheduled according to some scheduling policy.  ... 
doi:10.1007/978-3-030-00244-2_2 fatcat:3xq7rbjys5a6vnr3nbrd6c7rgq

A Contract-Based Approach to Support Goal-Driven Analysis

Guillaume Brau, Jerome Hugues, Nicolas Navet
2015 2015 IEEE 18th International Symposium on Real-Time Distributed Computing  
This paper presents an approach for the systematic and correct execution of analyses on real-time system models along with a proof-of-concept.  ...  In the design of real-time systems, models are usual artifacts to capture and represent the various features of the system. They are later analyzed to check for their correctness.  ...  ACKNOWLEDGMENT The authors would like to thank Loïc Gammaitoni (from the CSC Research Unit) for the support and advices dispensed in the use of Alloy.  ... 
doi:10.1109/isorc.2015.29 dblp:conf/isorc/BrauHN15 fatcat:w2zvxcz6x5eordg3xabtzerdya

Modelling real-time applications based on resource reservations

Laura Barros, Patricia López Martínez, César Cuevas, José María Drake, Michael González Harbour
2013 Journal of systems architecture  
The new MAST 2 specification for modelling and analysis of real-time systems, introduces two new classes named VirtualSchedulableResource and VirtualCommunication Channel.  ...  They are used for modelling the schedulable entities in real-time applications that are designed and executed relying on a resource reservation paradigm.  ...  MAST [4] is an open source set of tools that enables modelling and performing timing analysis of real-time applications.  ... 
doi:10.1016/j.sysarc.2012.08.005 fatcat:mbi75jc2wvab7ongk5mfrl3lt4

The challenge of interoperability

Huafeng Yu, Prachi Joshi, Jean-Pierre Talpin, Sandeep Shukla, Shinichi Shiraishi
2015 Proceedings of the 52nd Annual Design Automation Conference on - DAC '15  
Keywords Model-based design, integration framework, interoperability, architecture modeling, design by contract, timing  ...  A novel model-based formal integration framework is being developed to enable architecture modeling, timing specification, formal semantics, design by contract and optimization in the system-level design  ...  Instances are constructivity analysis (logical causality analysis [28] ), clock calculi (logical synchronization analysis [29, 6] ), real-time, abstract, affine scheduling (from multi-rate software to  ... 
doi:10.1145/2744769.2747945 dblp:conf/dac/YuJTSS15 fatcat:dlsu7o7t4bgebgx7bv4wrlk7z4

A Blockchain-based Spot Market Transaction Model for Energy Power Supply and Demand Network

Wei Hu, Huanhao Li, Yawei Hu, Wenhui Yao
2019 European Journal of Electrical Engineering  
To solve the problem, this paper puts forward a blockchain-based spot market transaction model for the EPSDN, with the aim to enhance the intelligence, real-time performance and security of spot power  ...  On this basis, the real-time property of the transaction information was guaranteed through EPSDN-based information exchange.  ...  ACKNOWLEDGEMENT This paper is made possible thanks to the generous support from the Humanities and Social Sciences Project of Chinese Ministry of Education (Grant No.: 17YJCZH062).  ... 
doi:10.18280/ejee.210112 fatcat:cjf7sxkffzhdznw2twnbix2wl4

LNSC: A Security Model for Electric Vehicle and Charging Pile Management Based on Blockchain Ecosystem

Xiaohong Huang, Cheng Xu, Pengfei Wang, Hongzhe Liu
2018 IEEE Access  
Different performances of LNSC-based scheduling strategies are also presented. INDEX TERMS Blockchain, smart contract, vehicle charging, mutual authentication, Internet of Energy.  ...  Therefore, this paper proposes a decentralized security model based on the lightning network and smart contract in the blockchain ecosystem; this proposed model is called the lightning network and smart  ...  model is evaluated using real EV traffic.  ... 
doi:10.1109/access.2018.2812176 fatcat:eyo5dhfsgrhgfhmwdx4webshjy

Virtual Integration of Real-Time Systems Based on Resource Segregation Abstraction [chapter]

Ingo Stierand, Philipp Reinkemeier, Purandar Bhaduri
2014 Lecture Notes in Computer Science  
More precisely, we focus on contract-based design, and ask whether a set of real-time components continues to comply to a given system specification when it is integrated on a common hardware.  ...  The approach exploits ω-languages, which enables analysis techniques based on model-checking. Such an analysis is shown by a case study.  ...  The analysis employs an evolved version of the tool RTana 2 for computational real-time scheduling analysis [10] . Three analysis runs have been performed.  ... 
doi:10.1007/978-3-319-10512-3_15 fatcat:j6tkgvbzvfdmdkfnuhxqqhctee

Auction-based distributed scheduling and control scheme for flexible manufacturing systems

T. Siwamogsatham, C. Saygin
2004 International Journal of Production Research  
An auction-based algorithm for real-time scheduling of flexible manufacturing systems with alternate routings is presented.  ...  Analysis of the results showed that the auction-based approach outperformed the priority rules on most performance measures.  ...  Centralized production scheduling and control in an FMS can be very complex when the number of parts and machines are large, and may not be practically implemented especially in a real-time fashion.  ... 
doi:10.1080/00207540310001613683 fatcat:pvojrflqw5cbfgqpjlqr676puu

Penalty Model of Work Schedule Delay of Program under Contracted Environment Based on Sub-Network

Jingchun Feng, Daisong Hu, Yue Zhang, Lingli Dong, K.H.M. Mansur, Y. Fu
2021 E3S Web of Conferences  
Based on this, a penalty model of work schedule delay is constructed and a case study is carried out.  ...  The research results of this paper are conducive to the real-time control of the schedule of various kinds of work, contracted projects, and the program, and lay a foundation for the improvement of FIDIC  ...  work schedule delay for program based on sub-network Modeling ideas The development of the penalty model of work schedule delay for program based on sub-network should fully consider three parts of  ... 
doi:10.1051/e3sconf/202125102026 fatcat:rvq3n2qk7bbfvp5lv3n64ziovi
« Previous Showing results 1 — 15 out of 154,690 results