Distributed real-time embedded systems that address safety and mission-critical system requirements are applied in a variety of heterogeneous domains today e.g. avionics, automotive systems, locomotives, and industrial control systems. The volume and complexity of such software grows everyday depending on an assortment of factors, including challenging system requirements e.g. resilience to hardware and software faults, remote deployment and repair. To mitigate the software complexity in such systems, model-driven component-based software engineering and development has become an accepted practice. Integrating appropriate modeling and analysis techniques into the design of such systems helps ensure predictable, dependable and safe operation upon deployment. The research presented in this dissertation has lead to the development of a methodology to model and analyze the temporal behavior of such distributed component-based applications in order to verify system-level timing properties such as worst-case response times, lack of deadline violations etc. Our approach relies on formalizing the structure and behavior of component-based applications using Colored Petri Nets (CPN) i.e. modeling the component assembly, operation scheduling, thread execution etc. and analyzing the temporal behavior of the overall system using simulation, state space analysis and model checking techniques. To bridge the gap between the system model and the analysis model, we have developed a modeling language to describe the business logic of component operations. Using the overall system model and the per-operation business logic models, a CPN timing analysis model is fully generated for analysis. The generality of the modeling principles used show the applicability of this method to a wide range of similar systems. We have also developed methods to structurally reduce our CPN and improve the scalability and performance of analysis to work for medium-to-large scale systems. Lastly, the results obtained from CPN analysis have been validated by executing experimental component assemblies on a cyber-physical systems testbed, a 32 Beaglebone Black cluster. Results show that the worst-case response times of component operations calculated by the CPN analysis are close, conservative estimates of the real-world execution.
| Identifer | oai:union.ndltd.org:VANDERBILT/oai:VANDERBILTETD:etd-09232016-084524 |
| Date | 19 October 2016 |
| Creators | Kumar, Pranav Srinivas |
| Contributors | Gabor Karsai, Xenofon Koutsoukos, Akos Ledeczi, Gautam Biswas, Bharat Bhuva |
| Publisher | VANDERBILT |
| Source Sets | Vanderbilt University Theses |
| Language | English |
| Detected Language | English |
| Type | text |
| Format | application/pdf |
| Source | http://etd.library.vanderbilt.edu/available/etd-09232016-084524/ |
| Rights | unrestricted, I hereby certify that, if appropriate, I have obtained and attached hereto a written permission statement from the owner(s) of each third party copyrighted matter to be included in my thesis, dissertation, or project report, allowing distribution as specified below. I certify that the version I submitted is the same as that approved by my advisory committee. I hereby grant to Vanderbilt University or its agents the non-exclusive license to archive and make accessible, under the conditions specified below, my thesis, dissertation, or project report in whole or in part in all forms of media, now or hereafter known. I retain all other ownership rights to the copyright of the thesis, dissertation or project report. I also retain the right to use in future works (such as articles or books) all or part of this thesis, dissertation, or project report. |
Page generated in 0.015 seconds