Proposing a Formal Method to Reduce RTS Logical Model Complexity

Marcondes, Francisco Supino; Colonese, E.; Dias, Luiz Alberto Vieira

doi:10.1109/itng.2008.202

Cited by 4 publications

(2 citation statements)

References 1 publication

Supporting

Mentioning

Contrasting

Order By: Relevance

“…That implies the machine as a non-deterministic one, so, the modeler can apply the conversion to a deterministic machine using the algorithm proposed to similar purpose for Mealy and Moore Machines [11]. That procedure produces a new state to where all blanks should go, and applying the minimization as proposed by Marcondes et al [13], the new state and the 'Error' state will be concatenated producing a new state called also as 'Error' and waits the researcher to stop the system.…”

Section: Case Studymentioning

confidence: 99%

An approach for modeling a formal Use Case Type at early development phase without loosing abstraction

Marcondes

Vega

Dias

2010

Innovations Syst Softw Eng

Self Cite

View full text Add to dashboard Cite

To model formal Use Case Type is useful in using a state machine diagram once it is verifiable through mathematical analysis, and it is very precise. But by the same characteristics, it is very difficult to be modeled in early phases since many definitions are still open and vague. This study presents an approach to obtain a formal Use Case Type definition in early phases without losing the intuitive events searches provided by other heuristic models, usually sequence diagrams.

show abstract

Section: Case Studymentioning

confidence: 99%

An approach for modeling a formal Use Case Type at early development phase without loosing abstraction

Marcondes

Vega

Dias

2010

Innovations Syst Softw Eng

Self Cite

View full text Add to dashboard Cite

show abstract

“…• Capability of tracking each functional requirement through use case realizations (scenarios); • Formal Method applied in the logical view [15,16] to improve the correctness of the model and consequently the code; and • Design-Patterns [17].…”

Section: Rtsframeworkmentioning

confidence: 99%

Killing gateways: Applying the RTSframework to improve avioncs systems performance

Colonese

Nobre

Anjos

et al. 2008

2008 IEEE/AIAA 27th Digital Avionics Systems Conference

View full text Add to dashboard Cite

Data interoperability remains a challenge for operational requirements allowing Real-Time Systems (RTS) to work together. Distributed RealTime and Embedded (DRE) Systems are increasingly based on component middleware/ gateways for data exchange. A gateway is a link between two computer programs. It acts as a portal between two programs allowing them to share information and bypass certain protocols on a host computer. Although seemingly harmless, a gateway can have tremendous negative performance effects on systems. The data interoperability mechanism built-in in the RTSframework replaces the gateways while maintaining the system behavior and data integrity, and improving the overall system performance. To validate this research proposal, a target avionic system is adapted to the RTSframework, implementing the new approach of data interoperability, and enforcing the correct realization of functional requirements. The advantage of the RTSframework utilization is verified through comparisons of software quality, reliability and complexity before and after the realtime target avionic system adaptation. The comparisons were used to evaluate changes made on software's logical model and code providing indications of software quality improvement. Quality indicates how well the software meets the requirements, so in this context, a good performance is identified as a type of change request in which the target-of-test failed to meet the requirements.

show abstract