research-article

Verified workflow-based software development for infrastructure sensing and control applications

Authors:

Douglas A. Creager,

John McHughAuthors Info & Claims

CSIIRW '11: Proceedings of the Seventh Annual Workshop on Cyber Security and Information Intelligence Research

Article No.: 18, Page 1

https://doi.org/10.1145/2179298.2179318

Published: 12 October 2011 Publication History

Get Access

Supplementary Material

Supplemental material. (a18-creager_slide.pdf)

Download
451.21 KB

References

[1]

I. Altintas et al. Kepler: An extensible system for design and execution of scientific workows. Proceedings of 16th Int'l Conf. on Scientific and Statistical Database Management, pages 423-424, June 2004.

Digital Library

Google Scholar

[2]

W. E. Boebert, R. Y. Kain, and W. D. Young. Secure computing: The Secure Ada Target approach. Scientific Honeyweller, June 1985.

Google Scholar

[3]

D. Cutting et al. Avro 1.5.2 specification. Apache Foundation, 2011. http://avro.apache.org/docs/1.5.2/spec.html.

Google Scholar

[4]

D. I. Good. Mechanical proofs about computer programs. Technical Report 36, Computational Logic, Inc., November 1988. http://www.computationallogic.com/reports/files/036.ps.

Google Scholar

[5]

J. McHugh. Towards the generation of efficient code from verified programs. PhD thesis, The University of Texas, 1984.

Digital Library

Google Scholar

[6]

B. Meyer. Object-Oriented Software Construction. Prentice Hall, 2nd edition, 2000.

Digital Library

Google Scholar

[7]

J. P. Morrison. Flow-based programming. CreateSpace, 2nd edition, 2010.

Google Scholar

[8]

R. Neely, J. Freeman, and M. Krenzin. Achieving understandable results in a formal design verification. In Proceedings of the Computer Security Foundations Workshop II, pages 115-124, Franconia, NH, USA, June 1989.

Crossref

Google Scholar

[9]

T. Oinn et al. Taverna: Lessons in creating a workow environment for the life sciences. Concurrency and Computation: Practice and Experience, 18(10):1067-1100, Aug. 2006.

Digital Library

Google Scholar

[10]

R. Rea and K. Mamidipaka. IBM InfoSphere Streams: Enabling complex analytics with ultra-low latencies on data in motion. Technical report, IBM, 2009. https://www14.software.ibm.com/webapp/iwm/web/ preLogin.do?source=swg-iis&S_PKG=wp67.

Google Scholar

[11]

United States Department of Defense. Trusted Computer System Evaluation Criteria (TCSEC). DOD 5200.28-STD, Library No. S225,7ll., December 1985. http://www.dtic.mil/whs/directives/ corres/pdf/850001p.pdf.

Google Scholar

Recommendations

"Leagile" software development

In recent years there has been a noticeable shift in attention from those who use agile software development toward lean software development, often labelled as a shift "from agile to lean". However, the reality may not be as simple or linear as this ...
Evolving an infrastructure for student global software development projects: lessons for industry
ISEC '09: Proceedings of the 2nd India software engineering conference

With the rapid increase in offshore outsourcing of software development, Global Software Development (GSD) has become the need of the hour. Today's information technology, in the form of communication networks and tooling opportunities, provides us with ...
Adopting to Agile Software Development

Abstract Agile software development can be made successful, but there is no well-defined way how to achieve this. The problem is that the successful adoption of agile methods and practices is a complex process and this process should be customizable for ...

Comments

Information & Contributors

Information

Published In

CSIIRW '11: Proceedings of the Seventh Annual Workshop on Cyber Security and Information Intelligence Research

October 2011

18 pages

ISBN:9781450309455

DOI:10.1145/2179298

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]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 12 October 2011

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Research-article

Conference

CSIIRW '11

Sponsor:

Eurosis
University of Tennessee

CSIIRW '11: Cyber Security and Information Intelligence Research Workshop

October 12 - 14, 2011

Tennessee, Oak Ridge, USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

0
Total Citations
177
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 16 Oct 2024

Other Metrics

View Author Metrics

Citations

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Recommendations

"Leagile" software development

Evolving an infrastructure for student global software development projects: lessons for industry

Adopting to Agile Software Development