Towards a self-forensics property in the ASSL toolset

Authors:
Serguei A. Mokhov;Emil Vassev;Joey Paquet;Mourad Debbabi
Affiliations:
Concordia University, Montreal, QC, Canada;University College Dublin, Dublin, Ireland;Concordia University, Montreal, QC, Canada;Concordia University, Montreal, QC, Canada
Venue:
Proceedings of the Third C* Conference on Computer Science and Software Engineering
Year:
2010

Citing 20
Cited 0

The Vision of Autonomic Computing

Computer
NASA's Swarm Missions: The Challenge of Building Autonomous Software

IT Professional
Autonomic Computing

Autonomic Computing
Autonomic Computing

Autonomic Computing
Lucx: lucid enriched with context

Lucx: lucid enriched with context
Towards an ASSL specification model for NASA swarm-based exploration missions

Proceedings of the 2008 ACM symposium on Applied computing
Towards Autonomic GIPSY

EASE '08 Proceedings of the Fifth IEEE Workshop on Engineering of Autonomic and Autonomous Systems
Design and Implementation of Context Calculus in the GIPSY Environment

COMPSAC '08 Proceedings of the 2008 32nd Annual IEEE International Computer Software and Applications Conference
A type system for hybrid intensional-imperative programming support in GIPSY

C3S2E '09 Proceedings of the 2nd Canadian Conference on Computer Science and Software Engineering
An ASSL-generated architecture for autonomic systems

C3S2E '09 Proceedings of the 2nd Canadian Conference on Computer Science and Software Engineering
Autonomic specification of self-protection for distributed MARF with ASSL

C3S2E '09 Proceedings of the 2nd Canadian Conference on Computer Science and Software Engineering
ASSL: A Software Engineering Approach to Autonomic Computing

Computer
Towards a framework for specification and code generation of automatic systems

Towards a framework for specification and code generation of automatic systems
Distributed Eductive Execution of Hybrid Intensional Programs

COMPSAC '09 Proceedings of the 2009 33rd Annual IEEE International Computer Software and Applications Conference - Volume 02
Self-Forensics Through Case Studies of Small-to-Medium Software Systems

IMF '09 Proceedings of the 2009 Fifth International Conference on IT Security Incident Management and IT Forensics
ASSL - Autonomic System Specification Language: A Framework for Specification and Code Generation of Autonomic Systems

ASSL - Autonomic System Specification Language: A Framework for Specification and Code Generation of Autonomic Systems
Using the General Intensional Programming System (GIPSY) for Evaluation of Higher-Order Intensional Logic (HOIL) Expressions

SERA '10 Proceedings of the 2010 Eighth ACIS International Conference on Software Engineering Research, Management and Applications
Object-Oriented Intensional Programming: Intensional Java/Lucid Classes

SERA '10 Proceedings of the 2010 Eighth ACIS International Conference on Software Engineering Research, Management and Applications
Advances in the Design and Implementation of a Multi-tier Architecture in the GIPSY Environment with Java

SERA '10 Proceedings of the 2010 Eighth ACIS International Conference on Software Engineering Research, Management and Applications
OO-IP hybrid language design and a framework approach to the GIPC

OO-IP hybrid language design and a framework approach to the GIPC

Quantified Score

Hi-index	0.00

Visualization

Abstract

This preliminary conceptual work discusses a notion of self-forensics as an autonomic property to augment the Autonomic System Specification Language (ASSL) framework of formal specification tools for autonomic systems. The core of the proposed methodology leverages existing designs, theoretical results, and implementing systems to enable rapid completion of and validation of the experiments and their the results initiated in this work. Specifically, we leverage the ASSL toolkit to add the self-forensics autonomic property (SFAP) to enable generation of the Java-based Object-Oriented Intensional Programming (JOOIP) language code laced with traces of Forensic Lucid to encode contextual forensic evidence and other expressions.