Specifying requirements for real-time systems

Satish Mahade Van 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

Fingerprint

Real time systems
Servers
Health
Electronic medical equipment
Fault tolerance
Computer systems
Throughput
Data storage equipment
Engineers
Monitoring

All Science Journal Classification (ASJC) codes

  • Software

Cite this

Srinivasan, S. M. V., 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).
Srinivasan, Satish Mahade Van ; Lancaster, Scott ; Zand, Mansour ; Rahmani, Cobra. / Specifying requirements for real-time systems. 18th International Conference on Software Engineering and Data Engineering 2009, SEDE 2009. 2009. pp. 180-184 (18th International Conference on Software Engineering and Data Engineering 2009, SEDE 2009).
@inproceedings{3badad30e8c345988e4887dfa4c6877b,
title = "Specifying requirements for real-time systems",
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.",
author = "Srinivasan, {Satish Mahade Van} and Scott Lancaster and Mansour Zand and Cobra Rahmani",
year = "2009",
month = "12",
day = "1",
language = "English (US)",
isbn = "9781615672417",
series = "18th International Conference on Software Engineering and Data Engineering 2009, SEDE 2009",
pages = "180--184",
booktitle = "18th International Conference on Software Engineering and Data Engineering 2009, SEDE 2009",

}

Srinivasan, SMV, 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. 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, Las Vegas, NV, United States, 6/22/09.

Specifying requirements for real-time systems. / Srinivasan, Satish Mahade Van; Lancaster, Scott; Zand, Mansour; Rahmani, Cobra.

18th International Conference on Software Engineering and Data Engineering 2009, SEDE 2009. 2009. p. 180-184 (18th International Conference on Software Engineering and Data Engineering 2009, SEDE 2009).

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

TY - GEN

T1 - Specifying requirements for real-time systems

AU - Srinivasan, Satish Mahade Van

AU - Lancaster, Scott

AU - Zand, Mansour

AU - Rahmani, Cobra

PY - 2009/12/1

Y1 - 2009/12/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84883392294&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84883392294&partnerID=8YFLogxK

M3 - Conference contribution

SN - 9781615672417

T3 - 18th International Conference on Software Engineering and Data Engineering 2009, SEDE 2009

SP - 180

EP - 184

BT - 18th International Conference on Software Engineering and Data Engineering 2009, SEDE 2009

ER -

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