MaCS Release Demo

1
MaCS Release Demo

• Moonjoo Kim

2
MaCSware Version 0.99

• Components
• Static components
• PEDL/MEDL/SADL compiler
• Bytecode Instrumentor
• Dynamic components
• Filter/Injector, event recognizer and run-time
  checker
• GUI
• http//www.cis.upenn.edu/rtg/mac

3
Features of Version 0.99

• Monitoring
• Primitive local and global variables per class
• local variables including formal parameters
• Starting and ending of methods per class
• Steering
• Invocation of predefined steering method
• Steering action is placed before/after
• method invocations
• write/read variables

4
More Features

• Checking
• based on events, conditions and auxiliary
  variables
• events have attributes time and value
• numerical auxiliary variables
• Reporting
• Violations of properties or alarms are reported
• MEDL script supports output of messages and
  auxiliary variables in customized format (which
  can be used as an interface to other tools such
  as GUI)

5
Demo

• Download macsware.zip and jtrek11.zip
• Unzip macsware.zip and jtrek11.zip
• Set environment variable classpath
• Run Micro Air Vehicle example using MacGUI
• MAVs should form a hexagonal pattern

6
Future Release

• Performance enhancement
• reducing the communication and evaluation
  overhead by sending less snapshots to the monitor
• Expansion of MEDL
• indexed expressions
• high order data type such as records
• Auxiliary variable evaluation in MEDL
• primed and unprimed auxiliary variables
• General external interface of checker