framework is a unified architectural model to study
mutual relationships among these three properties,
based on a controller’s interaction with the
environment. The model takes advantage of the fact
that all practical configurations of control systems
have a limited set of categories for input/output.
For the proposed framework, we conducted
initial experiments to evaluate the validity and
effectiveness of the process. In particular a concept
of safety shell was successfully applied in security
assessment for an ICS system.
Finally, it is worth noting that at this time no
single practice, process, or methodology offers a
universal “silver bullet” for evaluating system
trustworthiness. However, there exist a number of
practices and methodologies, to which the presented
approach can be adapted to increase the
trustworthiness of the produced software, both in its
development and operation.
ACKNOWLEDGEMENTS
This project has been funded in part by a grant
SBAHQ-10-I-0250 from the U.S. Small Business
Administration (SBA). SBA’s funding should not be
construed as an endorsement of any products,
opinions, or services. The first author acknowledges
the AFRL 2011 Summer Faculty Fellowship through
the American Society of Engineering Education.
Additional funding has been provided by the
National Science Foundation Award No. 1129437.
Students Michael Humphries (FGCU) and
Wendy Stevenson (ERAU) are gratefully
acknowledged for assistance in the use of tools and
conducting the experiments.
REFERENCES
Burns A., J. McDermid, J. Dobson (1992), On the
Meaning of Safety and Security, The Computer
Journal, Vol. 35, No. 1, pp. 3-15.
Critical Infrastructure Protection: Challenges and Efforts
to Secure Control Systems (2004), Report to
Congressional Requesters, GAO-04-354, U.S.
Government Accounting Office, Washington, DC.
Goertzel K. M., T. Winograd (2011), Safety and Security
Considerations for Component- Based Engineering of
Software-Intensive Systems, Booz Allen Hamilton.
Gumzej R., W. Halang (2009), A Safety Shell for UML-
RT Projects Structure and Methods of UML Pattern,
Innovations in Systems and Software Engineering: A
NASA Journal, Vol. 5, No. 2, pp. 97-105.
Hahn J., D. P. Guillen, T. Anderson (2005), Process
Control Systems in the Chemical Industry: Safety vs.
Security, Proc. 20th Annual CCPS International
Conf., Report INL/CON-05-00001.
Jaatun M. G., T. O. Grotan, M. B. Line (2008), Secure
Safety: Secure Remote Access to Critical Safety
Systems in Offshore Installations, Proc. ATC 2008,
5th Intern. Conf. on Autonomic and Trusted
Computing, Oslo, Norway, June 23-25, pp. 121-133.
Jalouneix J., P. Cousinou, J. Couturier, D. Winter (2009),
A Comparative Approach to Nuclear Safety and
Nuclear Security, IRSN, Tech. Rep. 2009/117.
Kornecki A., J. Zalewski (2010), Safety and Security in
Industrial Control, Proc. CSIIRW 2010, 6th Annual
Workshop on Cyber Security and Information
Intelligence Research, Oak Ridge, Tenn., April 21-23.
Landwehr C. E. (1981), Formal Models for Security, ACM
Computing Surveys, Vol. 13, No. 3, pp. 247-278.
Leveson N. (1995), Safeware: System Safety and
Computers. Addison-Wesley, Boston.
Nordland O. (2007), Safety and Security – Two Sides of
the Same Medal, European CIIP Newsletter, Vol. 3,
No. 2, pp. 20-22, May/June.
Novak T., A. Treytl (2008), Functional Safety and System
Security in Automation Systems, Proc. ETFA’08, 13th
IEEE Conf. on Emerging Technologies and Factory
Automation, Hamburg, Germany, pp. 311-318.
Pietre-Cambacedes L., C. Chaudet (2010), The SEMA
Referential Framework: Avoiding Ambiguities in the
Terms “Security” and “Safety”, Intern. Journal of
Critical Infrastructure Protection, Vol. 3, pp. 55-66.
Romanski G. (2009), Safe and Secure Partitioned Systems
and Their Certification, Proc. WRTP 2009, 30th IFAC
Workshop on Real-Time Programming, Mragowo,
Poland, October 12-14.
Sanz R., J. Zalewski (2003), Pattern Based Control
Systems Engineering, IEEE Control Systems, Vol. 23,
No. 3, pp. 43-60.
Schoitsch E. (2004), Design for Safety and Security of
Complex Embedded Systems: A Unified Approach,
Proc. NATO Advanced Research Workshop on
Cyberspace Security and Defense: Research Issues,
Gdansk, Poland, September 6-9, pp. 161-174.
Schwartz M. D. et al. (2010), Control System Devices:
Architectures and Supply Channels Overview, Report
SAND2010-5183, Sandia National Laboratories,
Albuquerque, NM.
Smith J., S. Russell, M. Looi (2003), Security as a Safety
Issue in Rail Communications, Proc. SCS 2003, 8th
Australian Workshop on Safety Critical Systems and
Software, Canberra, October 9-10, pp. 79-88.
Top 125 Network Security Tools (2012). URL:
http://sectools.org/
ENASE2012-7thInternationalConferenceonEvaluationofNovelSoftwareApproachestoSoftwareEngineering
212