mitre intelligent decision and training systems an assessment of ito projects for potential iso...
Post on 14-Dec-2015
215 Views
Preview:
TRANSCRIPT
MITREIntelligent Decision and Training Systems
An Assessment of ITO Projects for Potential ISO Transition:
Preliminary
Leo Obrst, Ph.D.
July 24, 1998
209/10/97 10:08 AM
MITRE
Outline
Background Assessment Approach Presentation of results Conclusions
309/10/97 10:08 AM
MITRE
Background
In 1997, MITRE reviewed the ITO Human Systems Integration area
In 1998, MITRE asked to review the following areas of the ITO research program:– CORBA-related projects in all of ITO but focusing on Quorum (C&N)– Other Quality of Service projects in Quorum– Intelligent Systems & Software:
Evolutionary Design of
Complex Software (EDCS)– Computing & Networking:
Global Mobile Information
Systems (GloMo) Quorum
Evolutionary Design of Complex Software
GloMo
CORBA:Quorum& QoS
CORBA:Other Computing& Networking
CORBA:Other IntelligentSystems & Software
409/10/97 10:08 AM
MITRE
Reason for Assessment
ITO research is resulting in demonstration systems that are being used in various places
Would like to facilitate transition mechanism of projects– ITO -> ISO( -> ACTD) -> JPO -> DISA– May not go through all steps
Difficult for ITO PMs to make all connections with appropriate ISO PMs
Difficult for ISO PMs to identify those ITO projects applicable to their program
509/10/97 10:08 AM
MITRE
Improve the Technology Transition Path
AITS Integration EnvironmentAITS Integration Environment
APII LES
DII
DARPAC4I
Programs
GCCSGCSS
ServiceC4ISR
GCCSGCSS
ServiceC4ISR
JTA emerging standardsDII COE recommendations
DII
ISO
ITO
ITO
Tec
hn
olog
ies
Tec
hn
olog
ies
DARPA DISA
AITS JPOAITS JPO
609/10/97 10:08 AM
MITRE
Improve the Technology Transition Path (concluded)
Benefits to ISO– Quick reference to research being conducted that can
potentially transition into programs – Identify appropriate PMs, PIs to include in discussions– Determine holes in the program not being addressed by
research program– Identify commercial solutions that may solve the need
Benefits to ITO– Get feedback on transitionability of projects– Get feedback on how to improve research– Identify holes for potential new research areas
Benefits to both– More efficient mechanism than having every PM trying to
connect with correct PIs
709/10/97 10:08 AM
MITRE
Assessment Approach
Two-sided approach- ISO/DoD program technical requirements- ITO project assessment
ISO program requirements- Rely on current, published knowledge- Rely on MITRE personnel, when available- Talk with DARPA PMs and contractors as appropriate
809/10/97 10:08 AM
MITRE
Approach (concluded)
ITO project assessment- Technology description- Applicability to program requirements
To fill a technological need To demonstrate a potential operational solution
- Maturity Paper/theoretical (e.g., algorithm analysis) Prototype (laboratory vs. demonstrated vs. tested) Operational (freeware or component of commercial
product)- Applicability to development cycle in a prospective ISO
new start (for EDCS)- Heuristics for assessment of projects
909/10/97 10:08 AM
MITRE
Overall Assessment Results on IS&S and C&N Research Areas (Partial)
Key:
ITO Research ProgramsIn Study
(194 projects total, concentration on
EDCS & Quorum:120 projects)
Near
Long
Immediate
Color-coded by Program and Maturity Level
Time
Program
22 projects
21 projects
18 projects
22
18
21
Evolutionary Design of Complex Software
GloMo
CORBA:Quorum& QoS
CORBA:Other Computing& Networking
CORBA:Other IntelligentSystems & Software
61
14/59
3614
23
1009/10/97 10:08 AM
MITRE
Algorithm, h
Heuristics for Assessment of Projects
When did project start? If new start, probably not ready. If a restart or change in direction, probably not ready. Prototype available yet? Extent of prototype, I.e., versions, applications being built by
universities? Industry? If set of tools, general maturity of individual tools and
integration? Used in any EDCS integration efforts?
1109/10/97 10:08 AM
MITRE
Potential Immediate Transition Projects (22)
Aleph/Desert, Evolutionary Design of Complex Systems, Brown University
Ensemble, ML/Nuprl Logical Environment: Construction Methodologies for Improving
Distributed System Security, Cornell University
Orbit: Collaboration Support for Complex Systems, University of Illinois [see Atlantis]
Atlantis: An Open Architecture for Synergy of Process-Centered Environments and
Computer-Supported Cooperative Work, University of Illinois [see Orbit]
STeP: Software Development Technologies for Reactive, Real-Time, and Hybrid
Systems, Stanford University
UniCon, etc.: A Technology Investigation Supporting Software Architecture and Analysis
for Evolution, Carnegie Mellon University
RAPIDE: Architecture Definition Languages, Stanford University
DylanWorks: A Dylan Development Environment, Harlequin, Inc.
PVS, Murphi: An Integrated Environment for Efficient Formal Design and Verification,
Stanford University
1209/10/97 10:08 AM
MITRE
Potential Immediate Transition Projects (continued)
I-SPECS: Integrated System for the Predicable Evolution of Complex Software Systems,
Software Productivity Solutions, Inc. (an integration project)
ADAM: Architectural Design, Analysis, and Measurement, Lockheed Martin C2
Integration Systems (an integration project)
QUEST: Quality Enabling Software Technologies, Microelectronics and Computer
Technology Corporation
DEMETER: Evolution of Software Via Adaptive Programming, Northeastern University
CPAS: Capability Packaging for Avionics Systems, Northrop Grumman Corporation (an
integration project)
TAOS, ProDAG, Chimera: Research in Advanced Environments, University of California,
Irvine
Endeavors, EDEM (Expectation-Driven Event Monitoring): Open Technology for Software
Evolution: Hyperware, Architecture, and Process University of California, Irvine
1309/10/97 10:08 AM
MITRE
Potential Immediate Transition Projects (concluded)
Flavers, JIL, Julia, IRIS, Pleiades, JESS - UMASS ARCADIA: Support for Advanced
Software Engineering Environment, University of Massachusetts
WinWin, A4/ACT-I, AAA: Collaborative WinWin System Definition Technology, University
of Southern California, Center for Software Engineering
ACME, USC/ISI
MediaDoc, USC/ISI
MICE: Model-Integrated Computing Environment, Vanderbilt University
SECC: Software Evolution by Component Consolidation, Xinotech Research, Inc.
1409/10/97 10:08 AM
MITRE
Actively Monitor for Near-Term Transition Projects (21)
Arcadia: Software Environments in Support of Wide-Area, Development University of
Colorado
ADC/Rapide: Architecture Driven Construction and Monitoring of Distributed Object
Systems, Stanford University
Sanctuary: Evolving Large Information Layers, University of Colorado at Boulder
Maude: Semantic Interoperation of Open Systems, SRI International
FAMILIAR: Formal Alternative Management Integrating Logical Inference and Rationales,
Knowledge Evolution
CHAIMS: Compiling High-Level Access Interfaces for Multi-Site Software, Stanford
University
EVOLVER: Evolutionary Views of Lifecycle Versions, Elements, and Rationales,
Lockheed Martin (an integration project)
AppletMagic for EDCS, Intermetrics, Inc.
1509/10/97 10:08 AM
MITRE
Actively Monitor for Near-Term Transition Projects (continued)
OzWeb: A New Infrastructure for Evolutionary Design and Implementation, Columbia
University
CLOS as a Substrate for EDCS, Franz, Inc.
CLIM 3.0: A High Level User Interface Definition, Dynamic Object Language Labs, Inc
EMMA: Evolution-Memory Management Assistant, CoGenTex, Inc.
FLEA (Formal Language for Expressing Assumptions): Software Evolution Through
Automatic Monitoring, Cs3: Computing Services Support Solutions
MORALE: Mission Oriented Architectural Legacy Evolution, Georgia Institute of
Technology
RTDL: Real-Time Dynamic Languages for Embedded Processors, IS Robotics
EBPSDR: Evolution Based on Precise Semantic Design Records, Kestrel Institute
(SpecWare 2.02 immediately available)
1609/10/97 10:08 AM
MITRE
Actively Monitor for Near-Term Transition Projects (concluded)
SADL (Structural Architecture Description Language), IVM (Internet Virtual Machine):
Incremental Evolution of Network-Wide Dynamic Systems, SRI International
EASOF (Execution-time Analysis of Specification-based Oracle Failures): Perpetual
Testing, University of California, Irvine
Jakarta: A Tool Suite for Constructing Software Generators, University of Texas at
Austin
SE-HOT: Software Evolution Using HOT Language Technology, Yale University
MetaH: High Assurance Evolution of Software Architectures, Honeywell Technology
Center
1709/10/97 10:08 AM
MITRE
Monitor for Long-Term Potential Projects (18)
Metaphor: Technology for Analyzing Change & Composing Reusable Real-Time
Software Components and Applications, Carnegie Mellon University, Robotics Inst.
GWYDION: An Integrated Environment for Evolutionary Software Development &
Maintenance, Carnegie Mellon University
ACT: Adaptation and Commitment Technology for Evolutionary Software Development,
Carnegie Mellon University
INSERT: Incremental Software Evolution for Real-time System, Carnegie Mellon
University
EXPRESS: A Programming Environment for Evolutionary Software Development, MIT
MULTI-GEN: Multi-Targeted Program Generators, USC/ISI
SSC: Software Security through Certification, Cornell University
FABASIT-UCol: A Formal Architecture-Based Approach to Software Integration Testing,
University of Colorado, Boulder
SE&I: Software Evolution and Interleaving, Georgia Institute of Technology
1809/10/97 10:08 AM
MITRE
Monitor for Long-Term Potential Projects (concluded)
DECR: Dynamically Extensible Computational Reflection, Indiana University
HASE: High-Assurance Software Evolution, Kansas State University
PT/P: Perpetual Testing, Purdue University
Darwin/Moses: Architectural Invariants of Evolving Systems, Rutgers University
EDCRTS: Evolutionary Development of Complex Real-Time Software, Charles Stark
Draper Laboratory, Inc.
FABASIT-UCI: A Formal Architecture-Based Approach to Software Integration Testing,
University of California, Irvine
PT/UMass: Perpetual Testing, University of Massachusetts
AOP: Aspect-Oriented Programming, Xerox Palo Alto Research Center
F-HOT: Foundations of HOT Languages and Software Evolution, Yale University
1909/10/97 10:08 AM
MITRE
Potential Reassignments of Maturity
To Immediate:– From Near:
FAMILIAR: Formal Alternative Management Integrating Logical Inference and Rationales, Knowledge Evolution
MetaH: High Assurance Evolution of Software Architectures, Honeywell Technology Center
– From Long: INSERT: Incremental Software Evolution for Real-time System, Carnegie
Mellon University
To Near:– From Long:
AOP: Aspect-Oriented Programming, Xerox Palo Alto Research Center
GWYDION: An Integrated Environment for Evolutionary Software Development & Maintenance, Carnegie Mellon University
ACT: Adaptation and Commitment Technology for Evolutionary Software Development, Carnegie Mellon University
2009/10/97 10:08 AM
MITRE
ITO Projects in a Technology Program Framework
Mission Applications
Common Services
Infrastructure
Distributed Object Services
Process ManagementApplications (e.g.,
workflow, monitoring, CASE)Assessment, Planning,
& Decision SupportApplications
Coordination, Communication, &
Control Applications
Metadata Management
Shared Data Access (e.g., Location, Mediation,Replication/Distribution, Security/Integrity)
Physical Data Management
Man
agem
ent
Rep
osit
ory
and
Too
ls
Dat
abas
e E
ngi
nee
rin
g/M
igra
tion
Pro
c
Data Base Segments Legacy Data
Data ManagementServices Interface
Human Computer InterfaceVisualization
and PresentationSpeech and
Language ServerMulti-ModalInteraction
DialogManager
Intelligent Information ProcessingFilteringTranslation Fusion Summarization
MiningExtraction
Co
llab
ora
tive
En
vir
on
men
ts
Ag
en
t E
nvi
ron
men
t
Mu
ltip
oin
tC
om
mu
nic
atio
ns
Sh
ared
Do
cum
ents
Sh
ared
Ap
pli
cati
on
sC
on
text
Man
ager
Use
rM
od
elin
gA
gen
tIn
tera
ctio
nA
gen
tC
on
tro
ller
Operating System
CORBA, DCOM, etc.
Replication
Resource Security
Performance Adaptability
Communication
Predictive Modeling
Communications Interface Network Management
Real-Time OS
Network Services
Knowledge Management & RepresentationSimulation & ModelingKnowledge Discovery/AcquisitionLearning Ontology Induction
Categorization
Sen
tin
elS
mar
t O
bje
ct
Storage
Monitoring
Object Network
Behavior
Reasoning VerificationAnalysis
Debugging
Event Processing
Message Processing
Hardware
Virtual Network
Evolution
Security Adaptability/Error Correction
Mobility
Wireless
Composition
SignalProcessing
Risk
2109/10/97 10:08 AM
MITRE
Technology Program Framework: 22 Immediate EDCS Projects
Mission Applications
Common Services
Infrastructure
Distributed Object Services
Process ManagementApplications (e.g.,
workflow, monitoring, CASE)Assessment, Planning,
& Decision SupportApplications
Coordination, Communication, &
Control Applications
Metadata Management
Shared Data Access (e.g., Location, Mediation,Replication/Distribution, Security/Integrity)
Physical Data Management
Man
agem
ent
Rep
osit
ory
and
Too
ls
Dat
abas
e E
ngi
nee
rin
g/M
igra
tion
Pro
c
Data Base Segments Legacy Data
Data ManagementServices Interface
Human Computer InterfaceVisualization
and PresentationSpeech and
Language ServerMulti-ModalInteraction
DialogManager
Intelligent Information ProcessingFilteringTranslation Fusion Summarization
MiningExtraction
Co
llab
ora
tive
En
vir
on
men
ts
Ag
en
t E
nvi
ron
men
t
Mu
ltip
oin
tC
om
mu
nic
atio
ns
Sh
ared
Do
cum
ents
Sh
ared
Ap
pli
cati
on
sC
on
text
Man
ager
Use
rM
od
elin
gA
gen
tIn
tera
ctio
nA
gen
tC
on
tro
ller
Operating System
CORBA, DCOM, etc.
Replication
Resource Security
Performance Adaptability
Communication
Predictive Modeling
Communications Interface Network Management
Real-Time OS
Network Services
Knowledge Management & RepresentationSimulation & ModelingKnowledge Discovery/AcquisitionLearning Ontology Induction
Categorization
Sen
tin
elS
mar
t O
bje
ct
Storage
Monitoring
Object Network
Behavior
Reasoning VerificationAnalysis
Debugging
Event Processing
Message Processing
Hardware
Virtual Network
Evolution
Security Adaptability/Error Correction
Mobility
Wireless
Composition
SignalProcessing
Risk
Aleph/Desert
Aleph/Desert
Aleph/DesertSTeP
PVS/MurphiAtlantis/Orbit
Atlantis/Orbit
Atlantis/Orbit
UniCon
UniCon
UniCon
UniCon
Rapide
Rapide
Rapide
ADAMIntegration
ADAMIntegration
DylanWorks
DylanWorks
AppletMagic
AppletMagic
Ensemble/Nuprl
Ensemble/Nuprl
Quest
Demeter
Demeter
CPASIntegration
CPASIntegration
CPASIntegration
CPASIntegration
TAOSProDAG
TAOSProDAG
TAOSProDAG
EndeavorsEDEM
EndeavorsEDEM
EndeavorsEDEM
EndeavorsEDEM
UmassArcadia
UmassArcadia
UmassArcadia
UmassArcadia
UmassArcadia
WinWin
WinWin
WinWinACME
ACME
MediaDoc
MediaDoc
MediaDoc
MICE MICESECC
SECC
SECC
2209/10/97 10:08 AM
MITRE
Technology Program Framework: 21 Near Term EDCS Projects
Mission Applications
Common Services
Infrastructure
Distributed Object Services
Process ManagementApplications (e.g.,
workflow, monitoring, CASE)Assessment, Planning,
& Decision SupportApplications
Coordination, Communication, &
Control Applications
Metadata Management
Shared Data Access (e.g., Location, Mediation,Replication/Distribution, Security/Integrity)
Physical Data Management
Man
agem
ent
Rep
osit
ory
and
Too
ls
Dat
abas
e E
ngi
nee
rin
g/M
igra
tion
Pro
c
Data Base Segments Legacy Data
Data ManagementServices Interface
Human Computer InterfaceVisualization
and PresentationSpeech and
Language ServerMulti-ModalInteraction
DialogManager
Intelligent Information ProcessingFilteringTranslation Fusion Summarization
MiningExtraction
Co
llab
ora
tive
En
vir
on
men
ts
Ag
en
t E
nvi
ron
men
t
Mu
ltip
oin
tC
om
mu
nic
atio
ns
Sh
ared
Do
cum
ents
Sh
ared
Ap
pli
cati
on
sC
on
text
Man
ager
Use
rM
od
elin
gA
gen
tIn
tera
ctio
nA
gen
tC
on
tro
ller
Operating System
CORBA, DCOM, etc.
Replication
Resource Security
Performance Adaptability
Communication
Predictive Modeling
Communications Interface Network Management
Real-Time OS
Network Services
Knowledge Management & RepresentationSimulation & ModelingKnowledge Discovery/AcquisitionLearning Ontology Induction
Categorization
Sen
tin
elS
mar
t O
bje
ct
Storage
Monitoring
Object Network
Behavior
Reasoning VerificationAnalysis
Debugging
Event Processing
Message Processing
Hardware
Virtual Network
Evolution
Security Adaptability/Error Correction
Mobility
Wireless
Composition
SignalProcessing
Risk
OzWeb
UColoradoArcadia
UColoradoArcadia
UColoradoArcadia
UColoradoArcadia
UColoradoArcadia
Sanctuary
SanctuaryADC/Rapide
ADC/Rapide
ADC/Rapide
ADC/Rapide
EMMAEMMA
EMMA
EMMA
EMMA
MaudeFAMILIAR
FAMILIAR
FAMILIAR
CHAIMS
CHAIMS
CHAIMS
CHAIMS
EVOLVERintegration
EVOLVERintegration
EVOLVERintegration
EVOLVERintegration
OzWeb
OzWeb
OzWeb
OzWeb CLOSsubstrate
CLIM 3.0
FLEA
FLEA
FLEAMORALE
MORALEMetaH
MetaH
MetaH
MetaHRTDL
RTDLEBPSDR
EBPSDR
SADL
SADL
SADL EASOF
EASOF
Jakarta
Jakarta
SE-HOT
2309/10/97 10:08 AM
MITRE
Technology Program Framework: 18 Long Term EDCS Projects
Mission Applications
Common Services
Infrastructure
Distributed Object Services
Process ManagementApplications (e.g.,
workflow, monitoring, CASE)Assessment, Planning,
& Decision SupportApplications
Coordination, Communication, &
Control Applications
Metadata Management
Shared Data Access (e.g., Location, Mediation,Replication/Distribution, Security/Integrity)
Physical Data Management
Man
agem
ent
Rep
osit
ory
and
Too
ls
Dat
abas
e E
ngi
nee
rin
g/M
igra
tion
Pro
c
Data Base Segments Legacy Data
Data ManagementServices Interface
Human Computer InterfaceVisualization
and PresentationSpeech and
Language ServerMulti-ModalInteraction
DialogManager
Intelligent Information ProcessingFilteringTranslation Fusion Summarization
MiningExtraction
Co
llab
ora
tive
En
vir
on
men
ts
Ag
en
t E
nvi
ron
men
t
Mu
ltip
oin
tC
om
mu
nic
atio
ns
Sh
ared
Do
cum
ents
Sh
ared
Ap
pli
cati
on
sC
on
text
Man
ager
Use
rM
od
elin
gA
gen
tIn
tera
ctio
nA
gen
tC
on
tro
ller
Operating System
CORBA, DCOM, etc.
Replication
Resource Security
Performance Adaptability
Communication
Predictive Modeling
Communications Interface Network Management
Real-Time OS
Network Services
Knowledge Management & RepresentationSimulation & ModelingKnowledge Discovery/AcquisitionLearning Ontology Induction
Categorization
Sen
tin
elS
mar
t O
bje
ct
Storage
Monitoring
Object Network
Behavior
Reasoning VerificationAnalysis
Debugging
Event Processing
Message Processing
Hardware
Virtual Network
Evolution
Security Adaptability/Error Correction
Mobility
Wireless
Composition
SignalProcessing
Risk
ACT
Metaphor
Metaphor
Gwydion
Gwydion
INSERT
ACT
ACT INSERT
Gwydion
MULTI-GEN
MULTI-GEN
ExpressSSC
FABASIT-UCol FABASIT
-UCol
SE&I
SE&I DECR
HASE
HASEPT-P
PT-P
Darwin/Moses
Darwin/Moses
Darwin/Moses
EDCRTS
EDCRTS
EDCRTS
EDCRTS
EDCRTS
FABASIT-UCI
FABASIT-UCI
AOPF-HOT
PT-UMass
PT-UMass
PT-UMass
PT-UMass
2409/10/97 10:08 AM
MITRE
ITO Projects in a Development Cycle Framework: EDCS Cluster Overview
EDCSRationaleCapture
& Software Understanding
Architecture/Generation
HighAssurance
& Real-Time
DynamicLanguages
Design Management
FormalVerification
Wrappers &Composition
Information Survivability
2509/10/97 10:08 AM
MITRE
Development Cycle Framework
Design Testing
Requirements Implementation Deployment
Maintenance Run-Time
Full Cycle
2609/10/97 10:08 AM
MITRE
Development Cycle Framework with EDCS Clusters
Design Testing
Requirements Implementation Deployment
Maintenance Run-Time
HighAssurance
& Real-Time
DynamicLanguages
RationaleCapture &Software
UnderstandingDesign Management
Architecture/GenerationFormalVerification
Wrappers &Composition
Full Cycle
2709/10/97 10:08 AM
MITRE
Development Cycle Framework: 22 Immediate EDCS Projects
Design Testing
Requirements Implementation Deployment
Maintenance Run-Time
HighAssurance
& Real-Time
DynamicLanguages
RationaleCapture &Software
UnderstandingDesign Management
Architecture/GenerationFormalVerification
Wrappers &Composition
Full CycleAleph/Desert
Orbit
Atlantis
PVS/Murphi
STeP
Rapide
DylanWorks
AppletMagic
Ensemble/Nuprl
Quest
Demeter
TAOS/ProDAG
TAOS/ProDAG
Endeavors/EDEM
Endeavors/EDEM
UMass/Arcadia
WinWin
ACME
MediaDoc
MICE
SECC
I-SPECSintegration
CPASintegration
ADAMintegration
MediaDoc
2809/10/97 10:08 AM
MITRE
Development Cycle Framework: 21 Near Term EDCS Projects
Design Testing
Requirements Implementation Deployment
Maintenance Run-Time
HighAssurance
& Real-Time
DynamicLanguages
RationaleCapture &Software
UnderstandingDesign Management
Architecture/GenerationFormalVerification
Wrappers &Composition
Full Cycle
UColoradoArcadia
UColoradoArcadia
UColoradoArcadia
Sanctuary
ADC/Rapide
EMMA
EMMAMaude
FAMILIARFAMILIAR
CHAIMS
EVOLVERintegration
EVOLVERintegration
OzWeb
CLOSsubstrate
CLIM 3.0
CLIM 3.0
FLEAMORALE
MORALE
MORALEMetaH
MetaH
RTDL
EBPSDR
SADL
EASOFEASOF
Jakarta
Jakarta
SE-HOT
2909/10/97 10:08 AM
MITRE
Development Cycle Framework: 18 Long Term EDCS Projects
Design Testing
Requirements Implementation Deployment
Maintenance Run-Time
HighAssurance
& Real-Time
DynamicLanguages
RationaleCapture &Software
UnderstandingDesign Management
Architecture/GenerationFormalVerification
Wrappers &Composition
Full Cycle
Gwydion
Metaphor
Gwydion
ACT
ACT
ACT
INSERT
INSERT
MULTI-GEN
MULTI-GEN
Express
Express
SSC
FABASIT-UCol
SE&I
DECR
DECR
HASE
PT-P
DarwinMoses
EDCRTS
EDCRTS
FABASIT-UCI
AOP
F-HOT
PT-UMass
3009/10/97 10:08 AM
MITRE
Development Cycle Framework: Detailed
Design Testing
Requirements Implementation Deployment
Maintenance Run-Time
Full Cycle
Software Design & ArchitectureMeta-modeling
Object-based Modeling Behavior-based Modeling
Generic ADL Domain-Specific ADL
Interchange/neutral ADL
Simulation
Animation Executable
GenerativeConstraint-based
Event-pattern Rules
Run-time Support
Multiple Styles
Legacy Support
Design Testing
RequirementsImplementationDeployment
MaintenanceRun-Time
Implementation, Configuration & Deployment
Dynamic Upgrading Real-time Support
Alternatives/Change Management
Reengineering
Adaptive/Aspect Programming
Dynamic Language
Rationale Management
OptimizationCode-generating
Run-time Constraints Reverse Engineering
Software Analysis
Validation (post)
Conformance (mapping)
Verification(pre)
Model Analysis
Component Analysis
Static Analysis
Connector Analysis
Run-timel Analysis
Event-monitoring Legacy Analysis
Model Checking Dataflow Analysis
Regression Testing
Theorem-proving
3109/10/97 10:08 AM
MITRE
Development Cycle Framework: Detailed Immediate
Design Testing
Requirements Implementation Deployment
Maintenance Run-Time
Full Cycle
Software Design & ArchitectureMeta-modeling
Object-based Modeling Behavior-based Modeling
Generic ADL Domain-Specific ADL
Interchange/neutral ADL
Simulation
Animation Executable
GenerativeConstraint-based
Event-pattern Rules
Run-time Support
Multiple Styles
Legacy Support
Design Testing
RequirementsImplementationDeployment
MaintenanceRun-Time
Aleph/Desert
Aleph/Desert
Aleph/Desert
Orbit Atlantis
UniCon
Implementation, Configuration & Deployment
Dynamic Upgrading Real-time Support
Alternatives/Change Management
Reengineering
Adaptive/Aspect Programming
Dynamic Language
Rationale Management
OptimizationCode-generating
Run-time Constraints Reverse Engineering
UniCon
Software Analysis
Validation (post)
Conformance (mapping)
Verification(pre)
Model Analysis
Component Analysis
Static Analysis
Connector Analysis
Run-timel Analysis
Event-monitoring Legacy Analysis
Model Checking Dataflow Analysis
Regression Testing
Theorem-proving
Aleph/Desert
Aleph/Desert
UniCon
UniCon
UniCon
UniCon
PVS/Murphi
PVS/Murphi
STePRapide
Rapide Rapide
Rapide
RapideRapide
Rapide Rapide
AppletMagic
DylanWorks
Rapide
AppletMagic
Ensemble/Nuprl
Ensemble/Nuprl
Ensemble/Nuprl
Quest
Quest
Quest
Demeter
Demeter
Demeter
Demeter
TAOS/ProDAG
TAOS/ProDAG
TAOS/ProDAGEndeavors/
EDEMEndeavors/EDEM
Endeavors/EDEM
Endeavors/EDEM
Endeavors/EDEM
Endeavors/EDEM
UMass/Arcadia
UMass/Arcadia
UMass/Arcadia
UMass/Arcadia
WinWin
WinWin
ACMEACME
MediaDoc
MediaDoc
MICE
MICE
MICE
MICE
MICE
SECC
SECC
UniCon
3209/10/97 10:08 AM
MITRE
Summary of UniCon
Visualization and presentation - graphical editor for ADL modeling and taxonomy for many visualization techniques for architectures
Data services - connections for database components to applications
Object-based information representation with "drill down” Tools to better manage and visualize workflow Generic architectural modeling Generative modeling capability Model analysis Verification Validation Reverse Engineering
Technology program framework ISO program requirement Operational context Development cycle
3309/10/97 10:08 AM
MITRE
Conclusions
These are preliminary findings Study undertaken in necessarily breadth-first fashion If you have additional information or question where your
project is wrt maturity level or technical or lifecycle judgment, please contact me
Intended as a continuing process for technology transition- Provides feedback to ITO PMs on benefits of research
program- Provides ISO PMs quick access to upcoming research
Immediately applicable to DARPA architectural efforts Real possibility this could engender a new start in ISO next
year: a focused application program which would employ methods and tools from EDCS for full development cycle
top related