ReSA Tool: Structured requirements specification and SAT-based consistency-checking

@article{Mahmud2016ReSATS,
  title={ReSA Tool: Structured requirements specification and SAT-based consistency-checking},
  author={Nesredin Mahmud and Cristina Cerschi Seceleanu and Oscar Ljungkrantz},
  journal={2016 Federated Conference on Computer Science and Information Systems (FedCSIS)},
  year={2016},
  pages={1737-1746}
}
Most industrial embedded systems requirements are specified in natural language, hence they can sometimes be ambiguous and error-prone. Moreover, employing an early-stage model-based incremental system development using multiple levels of abstraction, for instance via architectural languages such as EAST-ADL, calls for different granularity requirements specifications described with abstraction-specific concepts that reflect the respective abstraction level effectively. In this paper, we… CONTINUE READING

Similar Papers

References

Publications referenced by this paper.
SHOWING 1-10 OF 31 REFERENCES

ReSA: An ontology-based requirement specification language tailored to automotive systems

  • 10th IEEE International Symposium on Industrial Embedded Systems (SIES)
  • 2015
VIEW 6 EXCERPTS
HIGHLY INFLUENTIAL

DODT: Increasing requirements formalism using domain ontologies for improved embedded systems development

  • 14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems
  • 2011
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

Real-time specification patterns

  • Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005.
  • 2005
VIEW 8 EXCERPTS
HIGHLY INFLUENTIAL

English as a formal specification language

  • Proceedings. 13th International Workshop on Database and Expert Systems Applications
  • 2002
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

Formal specification: a roadmap

  • ICSE - Future of SE Track
  • 2000
VIEW 5 EXCERPTS
HIGHLY INFLUENTIAL

An Efficient SMT Solver

Leonardo De Moura, Z NikolajBjørner.
  • In Tools and Algorithms for the Construction and Analysis of Systems,
  • 2008
VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

Formal consistency checking over specifications in natural languages

  • 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE)
  • 2014
VIEW 1 EXCERPT

Measuring the constraint complexity of automotive embedded software systems

  • 2014 International Conference on Data and Software Engineering (ICODSE)
  • 2014
VIEW 1 EXCERPT