Specifying requirements for real-time systems

Satish Srinivasan, Scott Lancaster, Mansour Zand, Cobra Rahmani

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Software or System Requirements often change during their operational lifetime[4]. These changes take place due to misconceived requirements perceived during the requirement and design stages. Any changes in requirements are mostly evident during the run time of the system and are known as emergent faults. These emergent faults are unforeseen by the requirement engineers and so there is no built-in fault tolerance solution for the components in this system. In this paper we consider a real-time multi-network system of Alegent Health, where their application servers are used for critical Electronic Medical Record (EMR) application. These application servers frequently blow up due to memory leakages thus resulting in kicking off the users (doctor and nurses) of the system, elevating concerns on patient safety and also causing loss of revenue. We attribute this problem to be a misconceived requirement and as an emergent runtime fault. We propose a health monitoring system which will keep track of the health conditions of the servers with the objective of increasing overall system throughput, decreasing system downtime, and minimizing loss of data. We have proposed the use of the concept of Duration Calculus to specify the requirements of the system in terms of continuous state variables and discrete state variables.

Original languageEnglish (US)
Title of host publication18th International Conference on Software Engineering and Data Engineering 2009, SEDE 2009
Pages180-184
Number of pages5
StatePublished - Dec 1 2009
Event18th International Conference on Software Engineering and Data Engineering 2009, SEDE 2009 - Las Vegas, NV, United States
Duration: Jun 22 2009Jun 24 2009

Publication series

Name18th International Conference on Software Engineering and Data Engineering 2009, SEDE 2009

Other

Other18th International Conference on Software Engineering and Data Engineering 2009, SEDE 2009
CountryUnited States
CityLas Vegas, NV
Period6/22/096/24/09

All Science Journal Classification (ASJC) codes

  • Software

Fingerprint Dive into the research topics of 'Specifying requirements for real-time systems'. Together they form a unique fingerprint.

  • Cite this

    Srinivasan, S., Lancaster, S., Zand, M., & Rahmani, C. (2009). Specifying requirements for real-time systems. In 18th International Conference on Software Engineering and Data Engineering 2009, SEDE 2009 (pp. 180-184). (18th International Conference on Software Engineering and Data Engineering 2009, SEDE 2009).