This collaborative research project aims at support students to improve learning outcome and engagement in programming skill development through a cyberlearning environment named “SEP-CyLE”. This is a collaborative research efforts of multiple institutions supported by National Science Foundation (NSF DUE – 1525120), which is led by Florida International University.

With the foundation built from the previous project and learning environment named WReSTT-CyLE, the project will: (1) investigate the impact that students' use of cyber enabled learning environment, at a cross-section of academic institutions, has on their software testing skills; (2) develop a theoretical framework of learning and engagement strategies that best support improvement of students' knowledge and skills in software courses for diverse student groups. This project has several biannual workshops to expose instructors to how SEP-CyLE may be used in the classroom to support pedagogy. The research in (1) will include mixed methods studies with both qualitative and quantitative components. The effective implementation will assist the development of next generation of workforce of college students with strong software testing and programming skills.

Read more



With the complexity increasement and constant exposure to unknown environments in todays’ cyberspace, it is becoming more and more challenging to build trusted and attack resilient military computing systems. Therefore, one of the major goals of DOD information innovation is to build trusted, adaptive, attack-resilient cyber physical systems. The ultimate goal of this project is to develop a light-weight formal methodology and tools to facilitate the development of attack resilient cyber physical systems that are able to dynamically adapt to a constantly evolving environment.

Formal methods have been adopted to ensure trustworthiness with high confidence in the past years. Model checking, theorem proving, and static analysis are the typical formal approaches to ensuring trusted and high assurance software intensive and resilient systems. However, these approaches all have drawbacks. Model checking suffers the state space explosion problem, especially in the presence of concurrency and unbounded types. Although many heuristic methods have been developed, such as abstraction, and partial-order reduction, scalability is still an issue when model checking large scale systems.

Read more



This project is to create a cyber enabled project learning framework by synthesizing project based learning and cyber enable learning environment upon the autonomous mobile system design and implementation.

We seek to institute a pedagogical model of undergraduate education where effectiveness of learning can be primarily technology-based provided that a synthesized cyber-enabled ecosystem on the motivated projects, an educational framework that incorporates cooperation with robotics and mobile applications and cyber-enabled learning technology as the source and stream of technology based learning, innovative computing ideas, and minority students career driver, an umbrella topology that provides a structure for managing robotics projects over the cyber-based learning environment, an architecture that from the beginning motivates minority students study in Computer Science, Computer & Electrical Engineering, and other STEM disciplinary and a model that can readily enhance student learning and program retention which can be used at other institutions.

Read more



The goal of this project is to fill the gap between the ubiquity of pervasive and mobile computing technology and the lack of presence of pervasive and mobile computing security in the course curricula of universities across the nation. By focusing on the project goal, this project has been implemented by addressing four frontiers in the research and educational arena.

Engaging students through hands-on lab development with integrated research thrusts in the relevant areas. There are several groups of laboratories developed and under development in pervasive and mobile computing security. These labs and visualization tools will contribute to the effective resources for security education and engage student in active learning.

Read more

Workshop



Autonomous mobile systems (AMS) rely on multiple objects and intelligent inference that are able to take appropriate actions even in unforeseen circumstances. It is challenge even for the development of a single AMS due to the complexity of the system, uncertainty of the environment, and multiple aspects of the cooperation within the system. It is more challenge for the bipedal robots due to the balance and stable movement brought from the structure. Thus it is more challenge for the multiple robotics systems (MRSs). Due to the numerous amount of application areas of various types of robotics system, the requirements and research of robot application are increased rapidly. Multiple robots are widely adopted in the space exploration, field searching, agriculture as well as many other application. Coordination and collaboration become one of the main concerns for the MRSs.

To build a trustworthy architecture of MRS with the various complexity and human factors, it is important to consider the stability and mobility of a hierarchical structure. In this work, we introduce the agent concept to handle task coordination. The proposed general framework of a trustworthy MRS task coordination allows the development of complex multi-robot behavior via hierarchical and sequential composition of control interface and estimation arguments, and parallel composition of agents.

Read more



This collaborative research project aims at support college students to improve learning outcome and master software testing skills through a cyberlearning environment named “WReSTT-CyLE”. This is a collaborative research efforts of four institutions supported by National Science Foundation (NSF DUE – 1225654), which is led by Florida International University.

Currently, software testing education in academic institutions is not well developed in current computer science curricula. As a result many institutions do not offer the software testing course or even concepts of quality assurance in any course. WReSTT-CyLE is an online software testing repository that provides educators and learners with online materials and socio-psychological supporting components. This project provides several learning and engagement strategies (LESs) such as gamification, collaborative learning, social interaction and networking to improve students’ knowledge of software testing in programming courses ranging from CS1/CS2 to more advanced courses with a programming component. This project is creating new cyberlearning materials on software testing and improving faculty expertise in the knowledge and use of software testing techniques and tools by (1) creating a cyberlearning environment (WReSTT - Web-based Repository of Software Testing Tutorials) that provides students and instructors with access to tutorials on software testing concepts and tools; (2) conducting workshops to develop faculty expertise in software testing and using the features in WReSTT to support pedagogy; (3) fostering students acquisition of software testing concepts and skills in undergraduate programming courses; and (4) promoting WReSTT and disseminating the research findings to the academic community.

Read more