Design Automation for Processor Pipelines. Embedded system processors comprise about eighty percent of the processor market. This project targets this particular segment, customising multi-processor system on chips for a particular class of embedded applications, resulting in superior performance, low power and reduced cost. Direct benefits will include clear understanding of architectures and algorithms, research training, better processors for the embedded market, and quality publications. Ind ....Design Automation for Processor Pipelines. Embedded system processors comprise about eighty percent of the processor market. This project targets this particular segment, customising multi-processor system on chips for a particular class of embedded applications, resulting in superior performance, low power and reduced cost. Direct benefits will include clear understanding of architectures and algorithms, research training, better processors for the embedded market, and quality publications. Indirect benefits will be commercialisation and licensing of this technology for use in the embedded systems design industry. Companies which can benefit from this technology exist in Australia and overseas.Read moreRead less
Automatic Co-Processor Synthesis for Application Specific Instruction Set Processors. Embedded system processors comprise of about eighty percent of the processor market. This project targets this particular segment, customising processors for a particular embedded application, resulting in superior performance, low power and reduced cost. Direct benefits will include clear understanding of architectures and algorithms, research training, better processors for the embedded market, and quality ....Automatic Co-Processor Synthesis for Application Specific Instruction Set Processors. Embedded system processors comprise of about eighty percent of the processor market. This project targets this particular segment, customising processors for a particular embedded application, resulting in superior performance, low power and reduced cost. Direct benefits will include clear understanding of architectures and algorithms, research training, better processors for the embedded market, and quality publications. Indirect benefits will be commercialisation and licensing of this technology for use in the processor design industry. Read moreRead less
Simulation and verification of system-level specifications of requirements and constraints using Rosetta. Modern computer-based systems comprise a mixture of electronic hardware and embedded computer software that interacts with mechanical and other non-electrical subsystems. Future design capability will depend on being able to model the requirements and constraints of heterogeneous systems, so that they can be simulated and formally verified before being manufactured and deployed. This project ....Simulation and verification of system-level specifications of requirements and constraints using Rosetta. Modern computer-based systems comprise a mixture of electronic hardware and embedded computer software that interacts with mechanical and other non-electrical subsystems. Future design capability will depend on being able to model the requirements and constraints of heterogeneous systems, so that they can be simulated and formally verified before being manufactured and deployed. This project will develop techniques and software tools for simulation and verification based on the new Rosetta system-level design language. These tools will make the design of complex computer-based systems faster, more reliable and less costly by minimizing design errors early in the design flow.Read moreRead less
Real-Time Integration of GPS with INS For Precise Long-Baseline Kinematic Positioning. Although Australian researchers have played an important role in the development of carrier phase-based GPS kinematic positioning algorithms and methodologies over the last two decades, investigations concerning high precision multi-sensor integration have been comparatively limited. This ARC project would go a significant way towards remedying this situation by building up theoretical and practical expertise ....Real-Time Integration of GPS with INS For Precise Long-Baseline Kinematic Positioning. Although Australian researchers have played an important role in the development of carrier phase-based GPS kinematic positioning algorithms and methodologies over the last two decades, investigations concerning high precision multi-sensor integration have been comparatively limited. This ARC project would go a significant way towards remedying this situation by building up theoretical and practical expertise in sensor integration techniques at the postdoctoral level. The outcomes of this project will represent a significant contribution to Australian R&D in the fields of precise positioning and navigation, since they will be directly applicable to the design and development of a variety of integrated multi-sensor systems.Read moreRead less
Expressiveness Comparison and Interchange Facilitation between Business Process Execution Languages. Developments in the area of business process management are currently hindered by the plethora of diverse business process execution languages. This project will develop techniques for dealing with interoperability issues induced by this language heterogeneity. The project combines theoretical research, grounded in concurrency theory and workflow patterns, with pragmatic research focusing on lang ....Expressiveness Comparison and Interchange Facilitation between Business Process Execution Languages. Developments in the area of business process management are currently hindered by the plethora of diverse business process execution languages. This project will develop techniques for dealing with interoperability issues induced by this language heterogeneity. The project combines theoretical research, grounded in concurrency theory and workflow patterns, with pragmatic research focusing on languages supported by commercial tools. The outcome will be a framework for comparing the expressiveness of process execution languages and defining mappings between them. This will place Australia at the forefront of developments in business process management systems: a crucial technology in today's global, dynamic, and heterogeneous environments.
Read moreRead less
Personalized, Adaptive, and Semantic-driven Selection and Composition of Web Services. Web services are the pillar of the new generation of Internet technologies. They provide standardized access to functionality that would otherwise be hidden inside enterprise information systems. As the existing base of web services expands, there is a need for techniques to select, configure, assemble, and coordinate web services to perform complex user tasks. This project will advance the fundamental underst ....Personalized, Adaptive, and Semantic-driven Selection and Composition of Web Services. Web services are the pillar of the new generation of Internet technologies. They provide standardized access to functionality that would otherwise be hidden inside enterprise information systems. As the existing base of web services expands, there is a need for techniques to select, configure, assemble, and coordinate web services to perform complex user tasks. This project will advance the fundamental understanding and know-how in this area by addressing three complementary research challenges: how to, organize and search semantically rich service descriptions; select services with respect to flexible and personalized criteria; and coordinate services in an adaptive and context-aware manner.Read moreRead less
Mapping Trusted Systems Technologies to E-security Requirements. A new software based approach, strongly guided by national and international security standards based upon mandatory access control, is required to simplify for management the protection of their information infrastructure. This will be in the form of a security definition toolset aligned to trusted systems technologies currently under consideration internationally. No such trusted system has been developed to address current comme ....Mapping Trusted Systems Technologies to E-security Requirements. A new software based approach, strongly guided by national and international security standards based upon mandatory access control, is required to simplify for management the protection of their information infrastructure. This will be in the form of a security definition toolset aligned to trusted systems technologies currently under consideration internationally. No such trusted system has been developed to address current commercial IT product environments. The safety and security of information systems against attack and illicit usage form an essential component of ?National Information Infrastructure Protection (NIIP)?, a move to better ?e-security?. Existing commercial (untrusted) operating systems lack the critical security bases for e-security making e-applications vulnerable to tampering and bypass which can cause failures in overall system security.Read moreRead less
Scalable Composition and Deployment of Business-to-Business Web-based E-Services. The ubiquity of the Internet offers far reaching opportunities for
emerging Web applications. Separate businesses may be linked into a virtual enterprise that provides a one-stop shop for users. However, there is no model available for managing electronically accessible
services (e-services) in a systematic manner which make them easy to compose and deploy. Our research proposes to address the fundamental issue ....Scalable Composition and Deployment of Business-to-Business Web-based E-Services. The ubiquity of the Internet offers far reaching opportunities for
emerging Web applications. Separate businesses may be linked into a virtual enterprise that provides a one-stop shop for users. However, there is no model available for managing electronically accessible
services (e-services) in a systematic manner which make them easy to compose and deploy. Our research proposes to address the fundamental issues related to fast and scalable composition of e-services in Web-based environments. We propose novel concepts for integrating a large number of dynamic and loosely coupled services. Another distinctive feature of our approach is the peer-to-peer collaborative execution of services.Read moreRead less
Development of methods to address internet crime. If this research accomplishes successfully, it will be a big step forward in terms of traceback scope, accuracy, usability and deployment. This will empower authorities to control and punish Internet crimes more effectively and efficiently. It will also limit the damage caused by Internet crimes quickly. For example, if we can quickly identify the origins of a fast spreading virus, we will be able to prevent its propagation as fast as possible. I ....Development of methods to address internet crime. If this research accomplishes successfully, it will be a big step forward in terms of traceback scope, accuracy, usability and deployment. This will empower authorities to control and punish Internet crimes more effectively and efficiently. It will also limit the damage caused by Internet crimes quickly. For example, if we can quickly identify the origins of a fast spreading virus, we will be able to prevent its propagation as fast as possible. If we can quickly identify and block a harmful phishing site, then less innocent people will be deceived into disclosing their credit card numbers, bank account information, passwords or other sensitive information.Read moreRead less
A novel Internet-based clinical trial service. The best way to test whether a clinical treatment intervention is effective is a randomised controlled trial (rct). Rcts are expensive, both in terms of resources and time. The internet may provide a method of conducting rcts which is efficent and provides access to those in remote communities. The purpose of this project is to assess the feasibility of developing a structure for conducting rcts using the internet.