[linuxkernelnewbies] NICTA | Embedded Systems

[Peter Teoh]

http://www.nicta.com.au/research/research_themes/embedded_systems Embedded Systems Embedded systems will generate the 'smart products' of the future, from clever cars to clever farms and form the foundations of pervasive computing. Embedded systems is all about embedding or hiding smart ICT into everyday objects and processes. NICTA is building a world-class embedded systems industry in Australia by aggregating our research skills in system architecture, communications (wired and wireless), sensor and control systems, embedded operating systems and software engineering.   RESEARCH PROJECTS IN EMBEDDED SYSTEMS:  ARTEMIS Aimed at higher education and universities, the ARTEMIS Orchestra Competition is organised by the association of European actors in embedded systems research and development (ARTMEISIA). Human Performance Improvement Small, smart devices collecting, interpreting, transmitting biometric data reliably to those who need it in a form they can use. Formal Methods for Performance Evaluation of Wireless Network Applications To apply formal methods to the new application domain of wireless networks and use this application to overcome the current limitations of scale and expressiveness Goanna Automated analysis of system software InterfereX Demonstrate a real-time interference canceling, software defined radio, intended for the base station of a WiMax wireless system L4.verified Develop a mathematical, machine checked proof that the L4 microkernel behaves according to specification Probabilistic Temporal Analysis of Operating Systems Code Develop techniques for obtaining a complete timing model of a production quality microkernel Smart Applications for Emergencies Focuses on improving ICT technologies in the emergency and disaster management domains Secure Embedded L4 Develop and implement a precisely specified, secure API for the L4 microkernel Smart Transport and Roads The Smart Transport and Roads project (STaR) technologies are applied to transport and road systems   OTHER RESEARCH ACTIVITIES IN EMBEDDED SYSTEMS: Embedded Real Time Operating Systems Reducing cost and improving the reliability and trustworthiness of embedded systems software. Vision Science Technology and its Applications (VISTA) Focusing on computer vision, VISTA explores the interface between information communication technologies and the real world, enabling systems to extract visual data from their environment.