Contact Info
Department of Computer Science
University of Illinois at Urbana-Champaign (UIUC)
4111 Siebel Center for Computer Science
201 N. Goodwin Avenue
Urbana, IL 61801
Email: sbak2 {at} illinois.edu
Cyber-Physical System Stability and Robustness:
Modern Embedded and Cyberphysical systems demand reliability in spite
of complex behavior. Practical ways are needed to enable systems to be
both complex and safe. The System-Level Simplex Architecture was developed
to allow arbitrary controllers to control a plant without compromising
safety. Currently, we are collaborating with John Deere to evaluate using Simplex to verify off-road vehicles.
Network Simulator Scalability:
To be feasible for simulating large networks, a network simulator must have a scalable design. The scalability of the NS2 network simulator is evaluated and contrasted to a new, FPGA-based network simulator design. The developed design is shown to scale O(log(N)) where N is number of routers.
Verifiable VHDL Generation with VMaude:
Behavior within a model checker, such as Maude, can be checked to meet some specification. Within this research, we created VMaude, a VHDL-structured Maude framework. This allows you to write Maude behavior in VMaude, perform model checking, and automatically generate the corresponding VHDL module encoding the behavior.
COTS Peripheral Integration:
Commercial Off-the-Shelf (COTS) components are often significantly faster and significantly cheaper than their application-specific counterparts. However, in the worst case, timing errors can occur due to COTS component interaction. Within this research, COTS peripherals are used in a controlled way using FGPA-based real-time bridges to permit real-time scheduling on top of a COTS PCI bus.
Publications
Conference Papers
"Sandboxing Controllers for Cyber-Physical Systems", S. Bak, K. Manamcheri, S. Mitra and M. Caccamo, 2nd ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2011), (link)
"A Predictable Execution Model for COTS-based Embedded Systems", R. Pellizzoni, E. Betti, S. Bak, G. Yao, J. Criswell, M. Caccamo, R. Kegley, 17th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2011), (link)
"Affordable High-Integrity Controls", J. Lenz, N. Fritz, T. Schick, S. Bak, A. Greer, zur 68. Internationalen Tagung LAND.TECHNIK (LANDTECHNIK 2010), (site)
"Design, Implementation, and Evaluation of Covert Channel Attacks", H. Okhravi, S. Bak, and S. T. King, 10th IEEE International Conference on Technologies for Homeland Security (IEEE HST 2010), (link)
"Hybrid Cyberphysical System Verification With Simplex Using Discrete Abstractions", S. Bak, A. Greer, S. Mitra, 16th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2010), (link)
"Real-Time Control of I/O COTS Peripherals for Embedded Systems", S. Bak, E. Betti, R. Pellizzoni, M. Caccamo, L. Sha, 30th IEEE Real-Time Systems Symposium (RTSS 2009), (link)
"The System-Level Simplex Architecture for Improved Real-Time Embedded System Safety", S. Bak, D. Chivukula, O. Adekunle, M. Sun, M. Caccamo, L. Sha, 15th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2009), (link)
Journal Articles
"Real-Time I/O Management System with COTS Peripherals", E. Betti, S. Bak, R. Pellizzoni, M. Caccamo, and L. Sha, IEEE Transactions on Computers, vol. 99 (link)
"A Third Order Accurate Fast Marching Method for the Eikonal Equation in Two Dimensions", S. Ahmed, S. Bak, J. McLaughlin, and D. Renzi, SIAM Journal on Scientific Computing (volume 33, pages 2402-2420, 2011), (link)
"Some Improvements for the Fast Sweeping Method", S. Bak, J. McLaughlin, D. Renzi, SIAM Journal on Scientific Computing (volume 32, pages 2853-2874, 2010), (link)
Other
"Predictable Execution Model: Concept and Implementation", R. Pellizzoni, E. Betti, S. Bak, G. Yao, J. Criswell, and M. Caccamo, Technical Report (UIUC 2010), (link)
"Industrial Application of the System-Level Simplex Architecture for Real-Time Embedded System Safety", S. Bak, Master's Thesis (UIUC 2009), (link)
Reviewer for the 15th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2009)
Reviewer for First International Workshop on Adaptive and Reconfigurable Embedded Systems (ASPRES 2008)
