Engineering PapersSearch

Engineering topics

Karban, Robert

Publications and source records attributed to Karban, Robert.

At least 19 records

A Model-Based Approach for Europa Lander Mission Concept Exploration

This study investigates the usage of a system model as a means to capture concept formulation for a potentialmission. Efforts are underway at JPL to explore thearchitectural and system concepts for a lander on Europa.Executing a mission on the surface of Europa poses uniquechallenges that will require the lander to operate with onboardautonomy that is more sophisticated than systems previouslyoperated by JPL. Current tasks to explore surface missionconcepts intend to identify concepts that enable a high degree ofonboard autonomy as well as identify the issues and technicallimitations that restrict autonomy. The Europa lander missionconcept team is developing a system model to support thisexploration.The results of this study highlight how executable systemmodeling and the associated engineering environment may beapplied to pre-project conceptual exploration. The applicationof system modeling has resulted in a central system model thatprecisely describes the concepts formulated by the EuropaLander Mission Concept Team. Documentation in the form ofdiagrams and narrative has been directly generated from thesystem model and accessible by team members in a webapplication. The executability of the system model enablesvarious analyses such as simulation of interactions betweencomponents and evaluating system behavior againstrequirements. Execution of the system model has produced statetimelines, plots of system variables, and simulation traces basedon input scenarios. The executable system model enables therapid and repeatable production of these artifacts.

Reeves, Glenn

Model Checking as a Service: Towards Pragmatic Hidden Formal Methods

Executable models can be used to support all engineering activities in Model-Based Systems Engineering. Testing and simulation of such models can provide early feedback about design choices. How-ever, in today’s complex systems failures could arise due to subtle errors that are hard to find without checking all possible execution paths. Formal methods, and especially model checking can uncover such subtle errors, yet their usage in practice is limited due to the specialized expertise and high computing power required. There-fore we created an automated, cloud-based environment that can verify complex reachability properties on SysML State Machines using hidden model checkers. The approach and the prototype is illustrated using an example from the aerospace domain.

Karban, Robert

Assisted Authoring of Model-Based Systems Engineering Documents

In systems engineering practices system design and analysis have historically been performed using a document-centric approach where stakeholders produce a number of documents that represent their views on a system under development. Given the ad-hoc, disparate, and informal nature of natural language documents, these views become quickly inconsistent. Rigor in engineering work is also lost in the transition from model based engineering design and analysis to engineering documents. Once the documents are delivered, the engineering portion of the work is disconnected. In the Open Model Based Engineering Environment (OpenMBEE), Cross-References (aka transclusions) synthesize data for engineering when the information is not simply hyperlinked, but referenced in place in a document, upgrading a document-based process with model-based engineering technology. Those Cross-References are nowadays partially created manually, putting a burden on the engineer who is authoring the document.This paper presents an approach which can assist the engineer by providing machine-generated suggestions for Cross-References using language processing, graph analysis, and clustering technologies on model data managed by the OpenMBEE infrastructure.

Gomes, Ivan