ASSIST (Assured Safety, Security and Intent with Systematic Tactics) Research Lab focuses on the design and development of assurance frameworks for mission-critical, safety-critical, and security-critical systems. The assurance frameworks designed integrate tools based on theories of computation, formal methods, model-based engineering, architecture analysis, and software/systems engineering principles. This results in performing a rigorous analysis of systems or system of systems to assure the correctness in the behavior of systems.
The ASSIST Research Lab was established in support of the Harris Institute of Assured Information to advance innovative research in developing assurance technologies. The ASSIST Research Lab is directed by Dr. Siddhartha Bhattacharyya. The research focuses on the application of theories to practice. As a result, the research involves collaborative efforts with industry, academic, and national lab partners. Some of the present projects are related to providing assurance for Autonomous Systems, Avionics, Internet of Things, Communication Systems, Cyber Security, and Systems Biology.
Congratulations!!! to Adonay, Joshua, Jared, and Luke for winning the senior design in Computer Science for Project Thor in Spring 2022.
Congratulations!!! to Arwa for acceptance of a paper on Formal methods applied to Zero Trust to Elsevier journal, April 2022 in collaboration with Sam Perl at SEI CMU.
Congratulations!!! to Parth and Anshumaan for the acceptance of the paper to IDETC/ASME 2022, in collaboration with the RiSE Lab led by Dr. Sen.
Congratulations!!! to Fahad and Candice for the acceptance of the Fake news analysis paper to PETRA 2022 in collaboration with Dr. Nur.
Assuring Increasingly Autonomous Systems in Human-Machine Teams: An Urban Air Mobility Case Study, has been accepted to FMAS 2021!
Congratulations!!! Nandith Narayan from ASSIST Lab for being selected for the next level of IOT Design Competition 2021, sponsored by Microsoft, Texas Instruments, and the Warren B. Nelms Institute for the Connected World at University of Florida.
New Publication: “Assuring Intelligent Systems: A UAS Case Study”, N. Neogi, S. Bhattacharyya, D. Griessler, H. Kiran and M. Carvalho, IEEE Transactions for Intelligent Transportation
Florida Tech | Olin Engineering Complex
Room 313 | 150 W. University Blvd |Melbourne, FL 32901
321.674.7473 | firstname.lastname@example.org