Platform Technologies Research Institute 1 Software Engineering Research at RMIT Distributed...

Post on 31-Mar-2015

224 views 0 download

Tags:

Transcript of Platform Technologies Research Institute 1 Software Engineering Research at RMIT Distributed...

Platform Technologies Research Institute

1

Software Engineering Research at RMIT

Distributed Software Engineering Architecture

Heinz Schmidt, Ian Peake, Ian Thomas

Human Informatics Modelling

Margaret Hamilton

Educational Technologies and Innovative Teaching & Miscellaneous

James Harland

– architecture-based software engineering processes, methods and tools,

– improving quality, trustworthiness, productivity and industrial practice

– leveraging mathematical methods and foundations

– Component-based software architecture / enterprise architecture

– For services, embedded computing, control systems, Grid computing..

– Concurrent or parallel systems, or systems involving massive data

– Extra-functional properties: reliability, timing, space, etc.

– Testing, model checking, model-driven design

• E.g.: Sensor Network Architecture - Ian Peake, Flora Salim (SIAL)

– Survey current embedded programming practice

– Benchmark power consumption footprint of software components

Architectural Modeling Behavioral Modeling Embedded Control Systems

Distributed Software Engineering and Architecture

DSEA Summer Projects

The Sensor and Actuator Hub (with Flora Salim, SIAL)- for e.g. bioclimatic skin (airflow/shading) / responsive media facade- web services interface aggregating sensor data- evaluate Arduino vs MICA platforms and tools

Distributed robotic sorting (Ian Peake)- Lego Mindstorm + Lejos NXJ (Embedded JVM)

Service Composition Architecture (Nick May)- behaviour model editing in Eclipse (SCA tools project extension)

Enhanced spring graph layout (Amir Aryani)- extend MS nodeXL- applications e.g. in software maintenance

Human Informatics Modelling

• Human-Computer Interaction (HCI)

• Social Networking as an Information Tool

• Data Visualisation

Educational Technologies, Innovative Learning and Miscellaneous

• Electronic Exams

• Online interactions between students

• Mobile and ubiquitous computing technologies in the classroom

• Busy Beaver machines and Universal Turing machines

• Agent Reasoning

• Logic Programming and Automated Reasoning

• Mine Clearance in Vietnam

Questions?