Application of Knowledge-Based Engineering (KBE) Technology to Intelligent Design Engineering Systems. Knowledge Based Engineering (KBE) is a systematic approach to the integration of design and manufacturing of products and their related processes, from concept to disposal. Typical for KBE applications is that it accepts design rules and procedures. This makes the design process more efficient, which reduces development cost and product lead time. It also enables knowledge and experience to be ....Application of Knowledge-Based Engineering (KBE) Technology to Intelligent Design Engineering Systems. Knowledge Based Engineering (KBE) is a systematic approach to the integration of design and manufacturing of products and their related processes, from concept to disposal. Typical for KBE applications is that it accepts design rules and procedures. This makes the design process more efficient, which reduces development cost and product lead time. It also enables knowledge and experience to be captured and retained which reduces training cost and makes new staff more effective. The aim of the project is to develop a KBE environment for wire and conduit routing through complex structures and verify the benefits in an industry environment.Read moreRead less
Advances in the Verification of Communication Protocols. Australia's economy is becoming increasingly dependent on many complex distributed systems. Some important examples are the Internet, electronic commerce, financial networks, transportation systems, health care networks, telecommunication networks, defence systems, intelligent manufacturing systems and organisational workflow management systems. Failure in these systems can result in serious financial loss (in banking applications) and los ....Advances in the Verification of Communication Protocols. Australia's economy is becoming increasingly dependent on many complex distributed systems. Some important examples are the Internet, electronic commerce, financial networks, transportation systems, health care networks, telecommunication networks, defence systems, intelligent manufacturing systems and organisational workflow management systems. Failure in these systems can result in serious financial loss (in banking applications) and loss of life or serious accidents in safety critical areas (medical, transport and defence applications). It is thus of utmost importance that distributed systems are designed correctly. This project aims to advance the state of the art in verifying that distributed systems will work correctly.Read moreRead less