Organization-based Model-driven Development of High-assurance Multiagent Systems

Abstract

This report presents the final results the research grant "Organization-based Model-driven Development of High-assurance Multiagent Systems'" performed by Dr. Scott A. DeLoach and Dr. Robby at Kansas State University. The goal of this research is to develop methods, techniques, and tools to allow developers to design and build highly adaptive distributed systems that are assured of meeting specific design goals. Specifically, there were three key focus areas in this research: (1) to develop a model-driven software engineering methodology for the development of high-assurance, highly adaptive multiagent systems, (2) to explore policy-based mechanisms for specifying application-specific properties and metrics for adaptive multiagent systems, and (3) to develop an integrated set of tools to support our proposed software methodology, including automated verification capabilities based on lightweight and model checking approaches. This report details the key results in each of these areas.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 27, 2009
Accession Number
ADA586694

Entities

People

  • Robby
  • Scott A. Deloach

Organizations

  • Kansas State University

Tags

Communities of Interest

  • Autonomy
  • C4I
  • Counter WMD
  • Cyber

DTIC Thesaurus Topics

  • Adaptive Systems
  • Application Software
  • Artificial Intelligence
  • Complex Systems
  • Computers
  • Detection
  • Detectors
  • Engineering
  • Engineers
  • Information Science
  • Information Systems
  • Machine Learning
  • Multiagent Systems
  • Operations Research
  • Self Organizing Systems
  • Software Development
  • Systems Engineering

Fields of Study

  • Computer science
  • Engineering

Readers

  • Cybersecurity.
  • Database Systems and Applications
  • Team-Based Human-Centered Cognitive Task Decision Making and Information Performance.