skip to main content
10.1145/1882362.1882381acmconferencesArticle/Chapter ViewAbstractPublication PagesfseConference Proceedingsconference-collections
research-article

Supporting human-intensive systems

Published: 07 November 2010 Publication History

Abstract

Executing critical systems often rely on humans to make important and sometimes life-critical decisions. As such systems become more complex, the potential for human error to lead to system failures also increases. In the medical domain, for example, sophisticated technology has been introduced in the last decade without adequately considering the impact and role of the medical professionals. This is just one of many domains, where human agents, hardware devices, and software systems must interact with each other, and where humans are expected to make important, and sometime life-critical, decisions. This position paper argues that human-intensive systems should be a major concern of software engineering in the future and describes some of the research issues that need to be addressed.

References

[1]
Beyer, D., Henzinger, T. and Singh, V., 2007. Algorithms for Interface Synthesis. In Proceedings of the Computer Aided Verification, Lecture Notes in Computer Science, Springer Verlag, 4--19.
[2]
Chen, B., Avrunin, G.S., Henneman, E.A., Clarke, L.A., Osterweil, L.J. and Henneman, P.L., 2008. Analyzing Medical Processes. In Proceedings of the 30th International Conference on Software Engineering, (Leipzig, Germany, May), 623--632.
[3]
Clarke, E.M., Grumberg, O. and Peled, D.A. 2000. Model Checking. MIT Press.
[4]
Giannakopoulou, D., Pasareanu, C.S. and Barringer, H., 2002. Assumption Generation for Software Component Verification. In Proceedings of the 17th International Conference on Automated Software Engineering, (Washington, DC), 3--12.
[5]
Holzmann, G.J. 2004. The Spin Model Checker. Addison-Wesley
[6]
Kohn, L.T., Corrigan, J.M. and Donaldson, M.S. (eds.). To Err Is Human: Building a Safer Health System. National Academies Press, Washington DC, 1999.
[7]
Lerner, B.S., Christov, S., Osterweil, L.J., Bendraou, R., Kannengiesser, U. and Wise, A. 2010. Exception Handling Patterns for Process Modeling. IEEE Transactions on Software Engineering, 99 (2010), 162--183.
[8]
Leveson, N.G. 1986. Software Safety: What Why and How. ACM Computing Surveys, 18 (2. 1986), 125--163.
[9]
Leveson, N.G. and Turner, C.S. 1993. An Investigation of the Therac-25 Accidents. Computer (1993), 18--41.
[10]
Lutz, R., 2000. Software Engineering for Safety: A Roadmap. In Proceedings of the 22nd International Conference on Software Engineering, (Limerick, Ireland, 2000), 215--224.
[11]
Osterweil, L.J., 1987. Software Processes Are Software, Too. In Proceedings of the Ninth International Conference on Software Engineering, (Monterey, CA, March 30-April 2), IEEE Computer Society Press, 2--13.
[12]
Stamatis, D.H. 1995. Failure Mode and Effect Analysis: FMEA from Theory to Execution. American Society for Quality (1995).
[13]
Stead, W.W. and Lin, H.S. 2009. Computational Technology for Effective Health Care: Immediate Steps and Strategic Directions. Committee on Engaging the Computer. Science Research Community in Health Care Informatics. National Academies Press, Washington, D.C.
[14]
Vardi., M., 1985. Automatic Verification of Probabilistic Concurrent Finite State Programs. In Proceedings of the 26th Annual Symposium on Foundations of Computer Science, IEEE Computer Society Press, 327--338.
[15]
Vesely, W., Goldberg, F., Roberts, N. and Haasl, D. Fault Tree Handbook U.S. Nuclear Regulatory Commission, Washington, D.C., 1981.

Cited By

View all
  • (2022)Compliance checking of software processesJournal of Software: Evolution and Process10.1002/smr.244034:5Online publication date: 1-May-2022
  • (2019)E-Governance Service System Readiness Assessment Framework from CSCW’s PerspectiveMehran University Research Journal of Engineering and Technology10.22581/muet1982.1901.0538:1(53-68)Online publication date: 1-Jan-2019
  • (2017)Process Execution and Enactment in Medical EnvironmentsSoftware Engineering in Health Care10.1007/978-3-319-63194-3_10(145-161)Online publication date: 27-Jul-2017
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
FoSER '10: Proceedings of the FSE/SDP workshop on Future of software engineering research
November 2010
460 pages
ISBN:9781450304276
DOI:10.1145/1882362
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 07 November 2010

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. human-intensive systems
  2. life-critical systems
  3. process improvement

Qualifiers

  • Research-article

Conference

SIGSOFT/FSE'10
Sponsor:

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)1
  • Downloads (Last 6 weeks)0
Reflects downloads up to 20 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (2022)Compliance checking of software processesJournal of Software: Evolution and Process10.1002/smr.244034:5Online publication date: 1-May-2022
  • (2019)E-Governance Service System Readiness Assessment Framework from CSCW’s PerspectiveMehran University Research Journal of Engineering and Technology10.22581/muet1982.1901.0538:1(53-68)Online publication date: 1-Jan-2019
  • (2017)Process Execution and Enactment in Medical EnvironmentsSoftware Engineering in Health Care10.1007/978-3-319-63194-3_10(145-161)Online publication date: 27-Jul-2017
  • (2016)Specification and analysis of human-intensive system resource-utilization policiesProceedings of the International Workshop on Software Engineering in Healthcare Systems10.1145/2897683.2897688(8-14)Online publication date: 14-May-2016
  • (2016)Goal achievement analysis based on LTL checking and decision tree for improvements of PAISProceedings of the 31st Annual ACM Symposium on Applied Computing10.1145/2851613.2851898(1214-1218)Online publication date: 4-Apr-2016
  • (2013)Location-aware business process management for real-time monitoring of a cardiac care processProceedings of the 2013 Conference of the Center for Advanced Studies on Collaborative Research10.5555/2555523.2555548(230-244)Online publication date: 18-Nov-2013
  • (2011)Lifecycle EnvironmentsEngineering of Software10.1007/978-3-642-19823-6_8(145-152)Online publication date: 2011
  • (2011)From Process Programming to Process EngineeringEngineering of Software10.1007/978-3-642-19823-6_15(291-309)Online publication date: 2011

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media