Collaboration
The Computer Systems Engineering Centre (CSEC) collaborates with a number of organisations both in Australia and overseas.
Local Collaboration
The Centre currently holds research and development contracts with Australia's Defence Science and Technology Organisation (DSTO) in the areas of military planning and onboard aircraft computer communication systems. We collaborate with the University of Adelaide, Computer Science Department, in the area of the development of advanced reachability analysis techniques and their application to object-based systems. CSEC also works with the Queensland University of Technology in the area of modelling real-time onboard aircraft communication buses.
 The Department of Computer Science, Aarhus University, Denmark. |
International Collaboration
CSEC has extensive international collaboration, some of which is sponsored by the Department of Education, Science and Training (DEST) under a bilateral agreement with France, known as the French Australian Science and Technology Programme (FAST), part of the Innovation Access Programme (IAP). This collaboration is with the University of Paris 13, Department of Telecommunications and Networking, and involves research into techniques for analysing complex systems using modular and parametric techniques. This collaboration is also with the University of Adelaide. The FAST funding supports visits of key personnel from Paris to Adelaide and vice versa from 2004 to 2006. This collaboration has also been supported by an ARC International Linkage Grant in 2004.
CSEC has a Memorandum of Understanding with the Computer Science Department of the University of Aarhus, Aarhus, Denmark, which houses the Coloured Petri Net Group of Professor Kurt Jensen, the father of Coloured Petri Nets (CPNs). CSEC collaborates with this group in the areas of CPN tool development, advanced reachability analysis and applications resulting in joint publications. This work was funded by an ARC Discovery grant in 2002 -2004, where Profeassor Jensen was the partner investigator. CSEC is a strong supporter of the CPN workshops held in Aarhus, contributing a tutorial on Protocols in October 2004.
The Centre also hosted visits by Professor Lars Kristensen, a member of the CPN Group at Aarhus until 2008 (now at Bergen University College) and a CSEC postdoctoral fellow for 2 years (2000-2002) who was a co-founder of the Sweep-line advanced reachability analysis technique, the subject of the ARC grant.
CSEC collaborates with many other overseas academics arising from Professor Billington being a member of the Steering Committee of the International Conferences on Application and Theory of Petri Nets, and other conference Programme Committees. Collaboration with the Max-Planck Institute, Saarbrueken commenced with Dr Joern Freiheit in 2005 on aggregation techniques for Generalised Stochastic Petri Nets. Dr Freiheit was a Research Associate with CSEC during 2003-2005 and was partially funded by the ARC.
International Petri Net Standard
Professor Billington is a member of Standards Australia committee IT/15 on Software and Systems Engineering and a member of Working Group (WG) 19 of the International ISO/IEC JTC1/SC7 Software and System Engineering subcommittee. WG19 is concerned with international standards for Open Distributed Processing and Modelling Languages.
Professor Billington is the ISO editor for ISO/IEC 15909 Petri net techniques, which approved an international standard defining High-level Petri nets: ISO/IEC 15909-1 Software and System Engineering High-level Petri Nets Concepts, Definitions and Graphical Notation in November 2004. CSEC collaborates with members of WG19 in the development of Part 2 of this standard regarding a transfer format for Petri Nets. In particular this involves collaboration with Prof Kindler at the University of Paderborn, Germany.