BTC EmbeddedSpecifier: Step into the formal world with ease

Up to now, formal specification was for most engineers an insurmountable hurdle: the processes are too mathematical and therefore too complicated for many. But now BTC has finally solved this problem. With BTC EmbeddedSpecifier, engineers can now use formal methods without any in-depth knowledge. Step-by-step, the tool translates your textual requirements into a machine-readable language. The result is that you can prepare formal specifications with ease, having also laid an important foundation for creative engineering. Now that formal specification is no longer a hurdle, engineers can benefit from a whole new world of automatic requirements-based testing. The diagnostic units (C-Observer) automatically generated by BTC EmbeddedSpecifier can be easily embedded into every type of test environment. The easiest way is with BTC EmbeddedTester the leading test and verification environment for dSPACE TargetLink. The EmbeddedSpecifier Method paves the way for automatic requirements-based test assessment, automatic test generation and additionally the automatic measurement of requirement coverage. From informal, via semi-formal to formal requirements specification: BTC EmbeddedSpecifier is the perfect tool for engineers who want to be on the safe side of creativity.

1  2