Extending the scope of modular analysis for the validation of large systems. The increasing complexity of computer systems has severe implications for verification and validation, especially for critical systems (e.g. medical supervision, avionics mission systems). The standard approach is to build a formal model of the system and automatically analyse its behaviour. Such models can be captured in a modular, high-level description, but the number of states is usually so large as to preclude an ....Extending the scope of modular analysis for the validation of large systems. The increasing complexity of computer systems has severe implications for verification and validation, especially for critical systems (e.g. medical supervision, avionics mission systems). The standard approach is to build a formal model of the system and automatically analyse its behaviour. Such models can be captured in a modular, high-level description, but the number of states is usually so large as to preclude analysis. The modular analysis proposed in this project matches the analysis technique to the structure of the model. Preliminary results are promising and motivate the extension of the technique to a larger class of modular descriptions.Read moreRead less
Special Research Initiatives - Grant ID: SR0354675
Funder
Australian Research Council
Funding Amount
$20,000.00
Summary
Australian Communications Research Network (ACoRN). Information and Communication Technology is a key contributor to national productivity and growth. ACoRN aims to stimulate creativity, innovation and breakthrough science, leading to technological advancement in telecommunications. The focus is on development of fundamental theories for application to emerging wired and wireless communications technologies. Specific objectives include consolidation of existing linkages; facilitation of multidis ....Australian Communications Research Network (ACoRN). Information and Communication Technology is a key contributor to national productivity and growth. ACoRN aims to stimulate creativity, innovation and breakthrough science, leading to technological advancement in telecommunications. The focus is on development of fundamental theories for application to emerging wired and wireless communications technologies. Specific objectives include consolidation of existing linkages; facilitation of multidisciplinary research; formation of new links; stimulation of commercial activity; improved post-graduate education; and increased International prominence. Our current vision involves a range of programs including: undergraduate occupational training, postgraduate internships, national and international visiting programs, and seed funding for collaborative proposals.Read moreRead less
A new platform for poled glass waveguides in the mid-infrared. Mid-infrared light (beyond red out to what we feel as radiant heat) underpins many crucial applications that include the remote detection of explosives, chemicals and biological agents; dramatically speeding up internet communications; and even helping us detect planets in distant solar systems. The enormous cost of generating and analysing mid-infrared light using current technology has prevented many of these life-changing applicat ....A new platform for poled glass waveguides in the mid-infrared. Mid-infrared light (beyond red out to what we feel as radiant heat) underpins many crucial applications that include the remote detection of explosives, chemicals and biological agents; dramatically speeding up internet communications; and even helping us detect planets in distant solar systems. The enormous cost of generating and analysing mid-infrared light using current technology has prevented many of these life-changing applications coming to fruition. This project aims to change this and deliver technological leadership in this crucial field to Australia, thereby generating significant social and economic benefits. This project will also enhance Australia's international links and build on a range of national research programs.Read moreRead less