Kansas State University Undergraduate Research Conference

Safety and Security with AADL: Using lattices to model data flow

Architecture and Design Language is a model based engineering language that is used to create safety-critical systems. The issue with the creation of these systems is the lack of importance in security when these systems are created. To improve and promote the increase if importance and reliability for the creation of these systems we are looking into creating a method in which we can create lattice formations to identify and restrict certain information to its own category/classification. Lattices form sets of nodes that can be restricted so that certain information can only be distributed between two nodes that have the same type of clearance, like hierarchies lattices have multilevel clearances where only those in lower levels can speak to higher levels but not higher to lower, the advantages that lattices have is that they are multilateral, which means there can exist multiple categories in the same level yet nodes cannot communicate with each other Using this knowledge we will integrate that structure in the communication of information within a safety critical system.