General Electric Company

Delphi Technologies, Inc.

Scott Alan Stacey

Michael Richard Durling

Han Yu

Kit Yan Siu

Meng Li

Gregory Reed Sykes

Vincent Guy Pichon

Andrew Walter Crapo

Luca Parolini

Panagiotis Manolios

Mike W Hilton

Timothy Lee Johnson

Todd J Brinkman

Liling Ren

Robert Lee Phillis

Steven Kent Raypole

Daniel Edward Russell

Jian Dai

Alexander Walsch

Baoluo Meng

Stephen E Dourson

Andrew F Hall

Jason A McClelland

Jason A Mc Clelland

According to some embodiments, an Arbitrary Software Logic Modeling ('ASLM') data source may store electronic records associated with units, each electronic record including a unit identifier, one or more identification tags, context data, unit parameters, unit variables, and internal logic. An ASLM platform may express system requirements at a logic block level and establish the logic blocks as self-contained entities and connections in accordance with the system requirements (the established logic blocks graphically representing systems logic). The ASLM platform may then explicitly transform the systems logic automatically to output language agnostic common design information exchange model information. The ASLM platform may also translate and maintain traceability among the system requirements, common design information exchange model information, and generated code.

Systems and methods for arbitrary software logic modeling

A method for model-based design of safety-critical software is disclosed. The method includes receiving natural-language software requirements, developing a specification model by implementing either semantic modeling or graphical modeling, applying formal requirements analysis to the specification model, auto generating requirements based and robustness test cases from the specification model, developing a design model based on the specification model, applying test cases to the design model, auto-generating source code using the design model, verifying the source code using both test cases and static analysis technology, and compiling executable object code from the verified source code. If a result of the analysis of the software specification or design models is not satisfactory then adjusting the specification or design model to correct any inconsistency, and repeating applying the analysis and test cases. A system for implementing the model-based design and a non-transitory computer readable medium are disclosed.

System and method for model based technology and process for safety-critical software development

A computer-implemented system for generating test cases and/or test procedures to verify software having a nonlinear arithmetic constraint over a Real number range. The system includes a translator that receives, as input, software specification models for the software to be verified. The translator is configured to generate, as output, a plurality of SMT formulas that are semantically equivalent to the software specification models. The system includes an analytical engine pool that receives, as input, the plurality of SMT formulas from the translator and analyzes the plurality of SMT formulas, and generates, as output, test case data for each of the plurality of SMT formulas determined to be satisfiable. The system includes a post-processor that receives, as input, the test case data from the analytical engine pool and generates, as output, the test cases and/or test procedures for the software to be verified based on the test case data.

System and method for test generation from software specification models that contain nonlinear arithmetic constraints over real number ranges

A method for automated test case augmentation includes receiving, at an automated test augmentation system, a design model and model coverage gap information from a model-based development tool, translating the model coverage gap information into machine-readable mathematical test objective expressions, developing a set of test objective operators by translating the machine-readable mathematical test objective expressions, localizing target operators for the identified coverage gaps within the design model, attaching the test objective operators to target operators of the design model to create a test model, augmenting the test model by propagating test objectives at the target operators to a test node operator of the design model, and executing, by a test generator, the augmented test model to obtain the test cases to cover the coverage gaps and the causes for the model coverage gaps. A system for implementing the model-based design and a non-transitory computer readable medium are also disclosed.

System and method for coverage-based automated test case augmentation for design models

According to some embodiments, a system includes a communication device operative to communicate with a user to obtain the one or more requirements associated with a specification model for a semantic module; a semantic module to receive the one or more requirements, store the one or more requirements and transform the one or more requirements into a semantic model; a specification module to receive the semantic model, store the semantic model, translate the semantic model and generate a specification model; a memory for storing program instructions; at least one specification model platform processor, coupled to the memory, and in communication with the specification module and the semantic module and operative to execute program instructions to: transform the one or more requirements into a semantic model by executing the semantic module; translate the semantic model into a graphical model by executing the specification module; and modify the graphical model by executing the specification module to generate the specification model; and generate a specification model that is human-readable and computer-readable for use in software design. Numerous other aspects are provided.

Method and system of software specification modeling

A hydraulic system for use in a motorized vehicle including a pressure source, a valve fluidly coupled to the pressure source, and an actuator fluidly coupled to the valve. The actuator includes an outer casing and a piston slidably received in the outer casing such that the piston defines a piston chamber and a rod chamber in the outer casing. The actuator includes a rod coupled to the piston on a side of the piston facing the rod chamber. The valve is configured such that when the valve is in an open position the valve provides fluid communication to the rod chamber and provides fluid communication to the piston chamber. Fluid flowing through the valve to the rod chamber passes through a restricted orifice having cross sectional area that is smaller than the cross sectional area of any orifice that would be passed through by fluid flowing through the valve to the piston chamber.

Hydraulic circuit for a stabilizer bar

A hydraulic actuator comprises piston that divides the interior into a piston chamber and a rod chamber and a valve disc assembly to regulate flow of hydraulic fluid between the piston chamber and the rod chamber through a passage in the piston. The disc valve assembly includes a washer, a valve pack that includes at least one flexible disc valve, and a spacer arrangement spacing the valve pack apart from the washer. During operation, the valve pack flexes to open and close the passage. The spacer arrangement includes a first support point supporting the valve pack relative to the washer and at least one second support point spaced apart from the flexible portion of the disc valve pack. In the open position, the valve pack engages the second support point to reduce stress build-up at the first support point, thereby reducing work fatigue of the valve disc and extending the useful life of the hydraulic actuator.

Hydraulic actuator having disc valve assembly

A linear actuator system including a cylinder, a piston slidably received within the cylinder and defining a piston chamber and a rod chamber in the cylinder, wherein the piston includes a plurality of orifices therethrough that place the piston chamber and the rod chamber in fluid communication, and a sealing member movable between a closed position, wherein the sealing member restricts fluid flow through at least one of the plurality of orifices, and an open position, wherein the sealing member is less restrictive of fluid flow through the orifices. The plurality of orifices may include an always-open orifice that is not blocked by the sealing member when the sealing member is in the closed position.

Low noise linear actuator

A suspension for a motor vehicle comprises a control arm connected to each of a pair of wheels, a torsion bar, and a height actuator. The torsion bar is connected to each control arm, and is rotatable in first and second directions. The height actuator is connected between the torsion bars, and is operable to lower a sprung mass of the vehicle by rotating the torsion bars in the first directions, and to raise the sprung mass by rotating the torsion bars in the second directions. A roll actuator is also connected between the height actuator and the sprung mass.

Growing community of inventors

Dayton, OH, United States of America

Scott Alan Stacey