Welcome!

Microsoft Cloud Authors: David H Deans, Yeshim Deniz, Janakiram MSV, Andreas Grabner, Stackify Blog

News Feed Item

Konatus Chosen to Introduce LDRA Products and Services to Brazil

LDRA, the leading provider of automated software verification, source code analysis and test tools, today announced that it has appointed Konatus to extend LDRA’s reach into Brazil for safety-, mission- and security-critical markets. With more than 12 years focused on preventive and predictive maintenance, system integration, industrial automation, risk analysis and avionics certification, Konatus is well-positioned to apply LDRA’s engineering expertise to customer sales in the local languages.

“The demand for certified systems has increased as a way to mitigate risk and to ensure the highest levels of software quality across many industries,” confirmed Ian Hennell, Operations Director of LDRA. “How to implement such stringent requirements into the software development cycle is not easy. Having local experts who can guide implementation in the language of developers removes communication obstacles so that automated solutions that reduce labor-intensive manual methods are better explained and implemented. It takes customers one step closer to producing error-free code.”

With customers in oil and gas exploration and refinement, industrial control, medical, aerospace and automotive industries, Konatus will extend LDRA’s standards and certification expertise across the software development lifecycle. Beginning with a focus on requirements traceability, Konatus looks forward to integrating quality code processes early in the development cycle to ensure customers can deliver application code that is more reliable, maintainable and certifiable in less time and for less cost.

In approaching safety-critical projects, Konatus applies data analysis and risk evaluation to provide accurate guidance in the initial stages of selecting and implementing best-of-breed tools. The LDRA tool suite―which includes automated tools that cover the entire development lifecycle from requirements engineering through code compliance; static and dynamic analysis through target testing and verification―supports the end-to-end software testing that can save companies significant time and money in product development, maintenance and time to market. All Konatus sales are complemented by strong technical support, in-depth technology courses and training and consultancy services.

“Today, critical systems developers concentrate much more on planning, documenting, verifying and validating than on coding—a necessary shift since software applications have become exponentially more complex and must fulfill more certification tasks,” attested Guilherme Rocha, CEO at Konatus. “LDRA’s products and services offer state-of-the-art software testing that helps a safety-critical development team implement the certification process and develop better quality code. The LDRA tool suite makes critical development much easier and more controlled, reducing time to market. We are pleased to offer our clients such a powerful product.”

LDRA’s leading certification technology, developed over nearly 40 years of helping clients achieve certification readiness, provides a suite of tools fine-tuned to the needs of safety-critical markets. From requirements traceability to analysis, unit testing and validation, the LDRA tool suite supports certification objectives at all levels of design assurance. Widely-used certification templates and checklists establish standard-specific processes that allow applicants to meet management, development and verification objectives.

Supporting a comprehensive list of industry standards, LDRA helps companies achieve certification to the most rigorous levels for avionics (DO-178B/C), industrial safety (IEC 61508), automotive (ISO 26262), medical (IEC 62304), nuclear power (IEC 60880) and railway (EN 50128) systems. LDRA also offers program rule checking, which enables companies to improve or secure code with compliance to standards such as MISRA or CERT C.

In May 2013 at São José dos Campos, Brazil, Konatus and LDRA will present a workshop on safety-critical airborne systems that details the differences between DO-178B and DO-178C, typical challenges in applying formal methods to certification, and techniques for improving efficiency of verification and validation tasks in state-of-the-art airborne systems.

Konatus’ office in Brazil provides local language support for Brazil and other Latin American countries. For companies in these regions, please contact Konatus for additional details about LDRA products and services:

Konatus
Rua Euclides Miragaia, 394, sl. 1108
12245-820 São José dos Campos – SP, Brazil
Tel: +55 12 3911 5801
E-mail: [email protected]
www.konatus.com.br

About LDRA

For more than forty years, LDRA has developed and driven the market for software that automates code analysis and software testing for safety-, mission-, security- and business-critical markets. Working with clients to achieve early error identification and full compliance with industry standards, LDRA traces requirements through static and dynamic analysis to unit testing and verification for a wide variety of hardware and software platforms. Boasting a worldwide presence, LDRA is headquartered in the UK with subsidiaries in the United States, India and an extensive distributor network. For more information on the LDRA tool suite, please visit www.ldra.com.

About Konatus

Founded in 2008, headquartered in São José dos Campos, Brazil, Konatus has become a leader in Latin America's safety-critical market. The unique combination of high-quality products, support and consultancy services is most appreciated by safety-critical developers, providing them a sparring partner in every phase of their project.

Please send reader enquiries to:

Mark James
Email: [email protected]

Word copy of release
You can tweet or share the release directly from the LDRA Systems Press Center on HughesCom’s website. The release and background materials are also available for download.

This press release can be downloaded from www.hughescom.net.

More Stories By Business Wire

Copyright © 2009 Business Wire. All rights reserved. Republication or redistribution of Business Wire content is expressly prohibited without the prior written consent of Business Wire. Business Wire shall not be liable for any errors or delays in the content, or for any actions taken in reliance thereon.

@ThingsExpo Stories
When shopping for a new data processing platform for IoT solutions, many development teams want to be able to test-drive options before making a choice. Yet when evaluating an IoT solution, it’s simply not feasible to do so at scale with physical devices. Building a sensor simulator is the next best choice; however, generating a realistic simulation at very high TPS with ease of configurability is a formidable challenge. When dealing with multiple application or transport protocols, you would be...
SYS-CON Events announced today that CA Technologies has been named “Platinum Sponsor” of SYS-CON's 21st International Cloud Expo®, which will take place October 31-November 2, 2017, at the Santa Clara Convention Center in Santa Clara, CA. CA Technologies helps customers succeed in a future where every business – from apparel to energy – is being rewritten by software. From planning to development to management to security, CA creates software that fuels transformation for companies in the applic...
SYS-CON Events announced today that CAST Software will exhibit at SYS-CON's 21st International Cloud Expo®, which will take place on Oct 31 - Nov 2, 2017, at the Santa Clara Convention Center in Santa Clara, CA. CAST was founded more than 25 years ago to make the invisible visible. Built around the idea that even the best analytics on the market still leave blind spots for technical teams looking to deliver better software and prevent outages, CAST provides the software intelligence that matter ...
SYS-CON Events announced today that Pulzze Systems will exhibit at SYS-CON's 21st International Cloud Expo®, which will take place October 31-November 2, 2017, at the Santa Clara Convention Center in Santa Clara, CA. Pulzze Systems Inc, provides the software product "The Interactor" that uniquely simplifies building IoT, Web and Smart Enterprise Solutions. It is a Silicon Valley startup funded by US government agencies, NSF and DHS to bring innovative solutions to market.
In his session at @ThingsExpo, Dr. Robert Cohen, an economist and senior fellow at the Economic Strategy Institute, presented the findings of a series of six detailed case studies of how large corporations are implementing IoT. The session explored how IoT has improved their economic performance, had major impacts on business models and resulted in impressive ROIs. The companies covered span manufacturing and services firms. He also explored servicification, how manufacturing firms shift from se...
SYS-CON Events announced today that Elastifile will exhibit at SYS-CON's 21st International Cloud Expo®, which will take place on Oct 31 - Nov 2, 2017, at the Santa Clara Convention Center in Santa Clara, CA. Elastifile Cloud File System (ECFS) is software-defined data infrastructure designed for seamless and efficient management of dynamic workloads across heterogeneous environments. Elastifile provides the architecture needed to optimize your hybrid cloud environment, by facilitating efficient...
SYS-CON Events announced today that Golden Gate University will exhibit at SYS-CON's 21st International Cloud Expo®, which will take place on Oct 31 – Nov 2, 2017, at the Santa Clara Convention Center in Santa Clara, CA. Since 1901, non-profit Golden Gate University (GGU) has been helping adults achieve their professional goals by providing high quality, practice-based undergraduate and graduate educational programs in law, taxation, business and related professions. Many of its courses are taug...
Recently, WebRTC has a lot of eyes from market. The use cases of WebRTC are expanding - video chat, online education, online health care etc. Not only for human-to-human communication, but also IoT use cases such as machine to human use cases can be seen recently. One of the typical use-case is remote camera monitoring. With WebRTC, people can have interoperability and flexibility for deploying monitoring service. However, the benefit of WebRTC for IoT is not only its convenience and interopera...
When shopping for a new data processing platform for IoT solutions, many development teams want to be able to test-drive options before making a choice. Yet when evaluating an IoT solution, it’s simply not feasible to do so at scale with physical devices. Building a sensor simulator is the next best choice; however, generating a realistic simulation at very high TPS with ease of configurability is a formidable challenge. When dealing with multiple application or transport protocols, you would be...
WebRTC is the future of browser-to-browser communications, and continues to make inroads into the traditional, difficult, plug-in web communications world. The 6th WebRTC Summit continues our tradition of delivering the latest and greatest presentations within the world of WebRTC. Topics include voice calling, video chat, P2P file sharing, and use cases that have already leveraged the power and convenience of WebRTC.
SYS-CON Events announced today that Secure Channels, a cybersecurity firm, will exhibit at SYS-CON's 21st International Cloud Expo®, which will take place on Oct 31 – Nov 2, 2017, at the Santa Clara Convention Center in Santa Clara, CA. Secure Channels, Inc. offers several products and solutions to its many clients, helping them protect critical data from being compromised and access to computer networks from the unauthorized. The company develops comprehensive data encryption security strategie...
An increasing number of companies are creating products that combine data with analytical capabilities. Running interactive queries on Big Data requires complex architectures to store and query data effectively, typically involving data streams, an choosing efficient file format/database and multiple independent systems that are tied together through custom-engineered pipelines. In his session at @BigDataExpo at @ThingsExpo, Tomer Levi, a senior software engineer at Intel’s Advanced Analytics ...
Internet-of-Things discussions can end up either going down the consumer gadget rabbit hole or focused on the sort of data logging that industrial manufacturers have been doing forever. However, in fact, companies today are already using IoT data both to optimize their operational technology and to improve the experience of customer interactions in novel ways. In his session at @ThingsExpo, Gordon Haff, Red Hat Technology Evangelist, shared examples from a wide range of industries – including en...
Detecting internal user threats in the Big Data eco-system is challenging and cumbersome. Many organizations monitor internal usage of the Big Data eco-system using a set of alerts. This is not a scalable process given the increase in the number of alerts with the accelerating growth in data volume and user base. Organizations are increasingly leveraging machine learning to monitor only those data elements that are sensitive and critical, autonomously establish monitoring policies, and to detect...
"We're a cybersecurity firm that specializes in engineering security solutions both at the software and hardware level. Security cannot be an after-the-fact afterthought, which is what it's become," stated Richard Blech, Chief Executive Officer at Secure Channels, in this SYS-CON.tv interview at @ThingsExpo, held November 1-3, 2016, at the Santa Clara Convention Center in Santa Clara, CA.
To get the most out of their data, successful companies are not focusing on queries and data lakes, they are actively integrating analytics into their operations with a data-first application development approach. Real-time adjustments to improve revenues, reduce costs, or mitigate risk rely on applications that minimize latency on a variety of data sources. Jack Norris reviews best practices to show how companies develop, deploy, and dynamically update these applications and how this data-first...
Intelligent Automation is now one of the key business imperatives for CIOs and CISOs impacting all areas of business today. In his session at 21st Cloud Expo, Brian Boeggeman, VP Alliances & Partnerships at Ayehu, will talk about how business value is created and delivered through intelligent automation to today’s enterprises. The open ecosystem platform approach toward Intelligent Automation that Ayehu delivers to the market is core to enabling the creation of the self-driving enterprise.
The question before companies today is not whether to become intelligent, it’s a question of how and how fast. The key is to adopt and deploy an intelligent application strategy while simultaneously preparing to scale that intelligence. In her session at 21st Cloud Expo, Sangeeta Chakraborty, Chief Customer Officer at Ayasdi, will provide a tactical framework to become a truly intelligent enterprise, including how to identify the right applications for AI, how to build a Center of Excellence to ...
SYS-CON Events announced today that Massive Networks will exhibit at SYS-CON's 21st International Cloud Expo®, which will take place on Oct 31 – Nov 2, 2017, at the Santa Clara Convention Center in Santa Clara, CA. Massive Networks mission is simple. To help your business operate seamlessly with fast, reliable, and secure internet and network solutions. Improve your customer's experience with outstanding connections to your cloud.
SYS-CON Events announced today that Datera, that offers a radically new data management architecture, has been named "Exhibitor" of SYS-CON's 21st International Cloud Expo ®, which will take place on Oct 31 - Nov 2, 2017, at the Santa Clara Convention Center in Santa Clara, CA. Datera is transforming the traditional datacenter model through modern cloud simplicity. The technology industry is at another major inflection point. The rise of mobile, the Internet of Things, data storage and Big...