Abstract
In recent times Formal Techniques have been strongly recommended in the engineering life-cycle of safety -critical systems. With this, Architecture Analysis & Design Language (AADL) is a widely spectrum accepted architecture modeling language that can be wrap with Formal Modeling techniques, that proficiently helps in the design of a safety-critical system and circumscribes various analytical features for modeling the hardware and software architecture/s, against the required as per the guidelines set aside in RTCA DO-178C (333- Formal Based Modeling). This paper discusses the use of architecture modeling language along with formal based techniques for the analysis of RTOS architecture which is important in the correct implement of the given requirements. The architecture of the RTOS is expressed and analyzed using AADL. A suitable case study such as Stall Warning System/Aircraft Interface Computer (SWS/AIC), RTOS scheduler is modeled and analyzed. The analysis of results are mapped to the workflow prescribed in RTCA DO-178C for generating the certificate artifact and establishing the effectiveness of architecture based design analysis in the software engineering process.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bieber, P., Boniol, F., Boyer, M., Noulard, E., Pagetti, C.: New Challenges for Future Avionic Architectures (4), May 2012. pp10
Dobrica, L., Niemelä, E.: A Survey on Software Architecture Analysis Method. Ieee Transactions on Software Engineering 28(7), July 2002. pp10
Dhage, S.: Qualification of RTOS for safety critical systems using formal methods. INDIAcom 2015. pp12
Singhoff, F., Legrand, J., Nana, L.: Scheduling and memory requirements analysis with AADL. In: International Conference Proceedings, November 13–17, 2005. pp11
Designing Safety-Critical Avionics Software Using Open Standards. http://www.google.com.unpublished
Howard, C.E.: Safety- and security-critical avionics software, February 1, 2011. http://www.militaryaerospace.com/articles/print/volume-22/issue-2/technology-focus/safety-and-security-critical-avionics-software.html
Donini, R., Marrone, S., Mazzocca, N., Orazzo, A., Papa, D., Venticinque, S.: Testing complex safety- critical systems in SOA Context, November 12, 2007. pp8
Alexander, R., Alexander-Bown, R., Kelly, T.: Engineering Safety-Critical Complex Systems. http://www.cs.york.ac.uk/nature/tuna/outputs/finalreport.pdf, pp27
Correa, T., Becker, L.B., Farines, J.-M.: Supporting the design of safety critical systems using AADL. In: 2010 15th IEEE International Conference on Engineering of Complex Computer Systems, pp. 331–336. pp6
Knight, J.C.: Safety critical systems: challenges and directions. In: Proceedings of the 24rd International Conference on ICSE 2002 (2002). ieeexplore.ieee.org, pp4
Nordhoff, S.: DO-178C/ED-12C the new software standards for avionics industry: goal, changes and challenges. http://www.sqs.com, pp26
Feiler, P.H., Gluch, D.P., Hudak, J.J., Lewis, B.A.: Embedded System Architecture Analysis Using SAE AADL, June 2004. Technical Note, CMU/SEI-2004-TN-005, pp45
Adalog, J.-P.R., Axlog, J.-F.T.: AADL Workshop, October 17–18, 2005. 2005 Overview of AADL Syntax
Casteres, J., Ramaherirariny, T.: Aircraft integration real-time simulator modeling with AADL for architecture tradeoffs, pp. 346–351 (2009). pp6
Rammig, F., Ditze, M., Janacik, P., Heimfarth, T., Kerstan, T., Oberthuer, S., Stahl, K.: Basic Concepts of Real Time Operating systems. Hardware-Dependent Software, Springer Science + Business Media B.V., 16–44 (2009). pp28
RTCA DO-178C Software Consideration in Airborne Systems and Equipment Certification
RTCA DO-333 Formal Method Supplement to DO-178C and DO-278A
Formal Methods for Software Architectures: Software Architectures, SFM 2003, Bertinoro, Italy, September 22–27, 2003. http://www.springer.com
Cofer, D.: “DO-178C”, High Confidence Software & Systems Conference, May 8, 2012. pp33
Wang, Y., Ngolah, C.F.: Formal Description of a Real-Time Operating System using RTPA, vol. 2, pp. 1247–1250, May 4–7, 2003. pp3
CSIR-NAL: Software Design Description (SWDD) of SARAS aircraft
Noll, T.: Safety, dependability and performance analysis of aerospace systems. In: Third International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2014) November 1–5, 2014
Fisher, K.: Using Formal Methods to Enable More Secure Vehicles: DARPA’s HACMS Program, September 16, 2014
Hugues, J., Singhoff, F.: AADLv2: an Architecture Description Language for the Analysis and Generation of Embedded Systems. ISAE, France
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Rao, Y.R., Nanda, M., Jayanthi, J. (2016). Formal Architecture Based Design Analysis for Certifying SWS RTOS. In: Berretti, S., Thampi, S., Dasgupta, S. (eds) Intelligent Systems Technologies and Applications. Advances in Intelligent Systems and Computing, vol 385. Springer, Cham. https://doi.org/10.1007/978-3-319-23258-4_38
Download citation
DOI: https://doi.org/10.1007/978-3-319-23258-4_38
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-23257-7
Online ISBN: 978-3-319-23258-4
eBook Packages: EngineeringEngineering (R0)