Systems Architecture Commons^™

Safety And Security With Aadl: Using Lattices To Model Data Flow, Erick Martinez

Kansas State University Undergraduate Research Conference

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 …