Welcome!

Microsoft Cloud Authors: Pat Romanski, Elizabeth White, Liz McMillan, Mihai Corbuleac, David Bermingham

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
The Internet of Things will challenge the status quo of how IT and development organizations operate. Or will it? Certainly the fog layer of IoT requires special insights about data ontology, security and transactional integrity. But the developmental challenges are the same: People, Process and Platform and how we integrate our thinking to solve complicated problems. In his session at 19th Cloud Expo, Craig Sproule, CEO of Metavine, will demonstrate how to move beyond today's coding paradigm ...
The cloud market growth today is largely in public clouds. While there is a lot of spend in IT departments in virtualization, these aren’t yet translating into a true “cloud” experience within the enterprise. What is stopping the growth of the “private cloud” market? In his general session at 18th Cloud Expo, Nara Rajagopalan, CEO of Accelerite, explored the challenges in deploying, managing, and getting adoption for a private cloud within an enterprise. What are the key differences between wh...
SYS-CON Events has announced today that Roger Strukhoff has been named conference chair of Cloud Expo and @ThingsExpo 2016 Silicon Valley. The 19th Cloud Expo and 6th @ThingsExpo will take place on November 1-3, 2016, at the Santa Clara Convention Center in Santa Clara, CA. "The Internet of Things brings trillions of dollars of opportunity to developers and enterprise IT, no matter how you measure it," stated Roger Strukhoff. "More importantly, it leverages the power of devices and the Interne...
"We work in the area of Big Data analytics and Big Data analytics is a very crowded space - you have Hadoop, ETL, warehousing, visualization and there's a lot of effort trying to get these tools to talk to each other," explained Mukund Deshpande, head of the Analytics practice at Accelerite, in this SYS-CON.tv interview at 18th Cloud Expo, held June 7-9, 2016, at the Javits Center in New York City, NY.
The idea of comparing data in motion (at the sensor level) to data at rest (in a Big Data server warehouse) with predictive analytics in the cloud is very appealing to the industrial IoT sector. The problem Big Data vendors have, however, is access to that data in motion at the sensor location. In his session at @ThingsExpo, Scott Allen, CMO of FreeWave, discussed how as IoT is increasingly adopted by industrial markets, there is going to be an increased demand for sensor data from the outermos...
UAS, drones or unmanned aircraft, no matter what you call them — this was their week. Our news stream was flooded with updates on the newly announced rules and regulations for commercial UAS from the FAA. So, naturally we have dedicated this week’s top news round up to highlight some of our favorite UAS stories.
Internet of @ThingsExpo has announced today that Chris Matthieu has been named tech chair of Internet of @ThingsExpo 2016 Silicon Valley. The 6thInternet of @ThingsExpo will take place on November 1–3, 2016, at the Santa Clara Convention Center in Santa Clara, CA.
CenturyLink has announced that application server solutions from GENBAND are now available as part of CenturyLink’s Networx contracts. The General Services Administration (GSA)’s Networx program includes the largest telecommunications contract vehicles ever awarded by the federal government. CenturyLink recently secured an extension through spring 2020 of its offerings available to federal government agencies via GSA’s Networx Universal and Enterprise contracts. GENBAND’s EXPERiUS™ Application...
Basho Technologies has announced the latest release of Basho Riak TS, version 1.3. Riak TS is an enterprise-grade NoSQL database optimized for Internet of Things (IoT). The open source version enables developers to download the software for free and use it in production as well as make contributions to the code and develop applications around Riak TS. Enhancements to Riak TS make it quick, easy and cost-effective to spin up an instance to test new ideas and build IoT applications. In addition to...
In addition to all the benefits, IoT is also bringing new kind of customer experience challenges - cars that unlock themselves, thermostats turning houses into saunas and baby video monitors broadcasting over the internet. This list can only increase because while IoT services should be intuitive and simple to use, the delivery ecosystem is a myriad of potential problems as IoT explodes complexity. So finding a performance issue is like finding the proverbial needle in the haystack.
When people aren’t talking about VMs and containers, they’re talking about serverless architecture. Serverless is about no maintenance. It means you are not worried about low-level infrastructural and operational details. An event-driven serverless platform is a great use case for IoT. In his session at @ThingsExpo, Animesh Singh, an STSM and Lead for IBM Cloud Platform and Infrastructure, will detail how to build a distributed serverless, polyglot, microservices framework using open source tec...
Presidio has received the 2015 EMC Partner Services Quality Award from EMC Corporation for achieving outstanding service excellence and customer satisfaction as measured by the EMC Partner Services Quality (PSQ) program. Presidio was also honored as the 2015 EMC Americas Marketing Excellence Partner of the Year and 2015 Mid-Market East Partner of the Year. The EMC PSQ program is a project-specific survey program designed for partners with Service Partner designations to solicit customer feedbac...
Apixio Inc. has raised $19.3 million in Series D venture capital funding led by SSM Partners with participation from First Analysis, Bain Capital Ventures and Apixio’s largest angel investor. Apixio will dedicate the proceeds toward advancing and scaling products powered by its cognitive computing platform, further enabling insights for optimal patient care. The Series D funding comes as Apixio experiences strong momentum and increasing demand for its HCC Profiler solution, which mines unstruc...
The IoT is changing the way enterprises conduct business. In his session at @ThingsExpo, Eric Hoffman, Vice President at EastBanc Technologies, discussed how businesses can gain an edge over competitors by empowering consumers to take control through IoT. He cited examples such as a Washington, D.C.-based sports club that leveraged IoT and the cloud to develop a comprehensive booking system. He also highlighted how IoT can revitalize and restore outdated business models, making them profitable ...
IoT offers a value of almost $4 trillion to the manufacturing industry through platforms that can improve margins, optimize operations & drive high performance work teams. By using IoT technologies as a foundation, manufacturing customers are integrating worker safety with manufacturing systems, driving deep collaboration and utilizing analytics to exponentially increased per-unit margins. However, as Benoit Lheureux, the VP for Research at Gartner points out, “IoT project implementers often ...
"delaPlex is a software development company. We do team-based outsourcing development," explained Mark Rivers, COO and Co-founder of delaPlex Software, in this SYS-CON.tv interview at 18th Cloud Expo, held June 7-9, 2016, at the Javits Center in New York City, NY.
In his general session at 18th Cloud Expo, Lee Atchison, Principal Cloud Architect and Advocate at New Relic, discussed cloud as a ‘better data center’ and how it adds new capacity (faster) and improves application availability (redundancy). The cloud is a ‘Dynamic Tool for Dynamic Apps’ and resource allocation is an integral part of your application architecture, so use only the resources you need and allocate /de-allocate resources on the fly.
Connected devices and the industrial internet are growing exponentially every year with Cisco expecting 50 billion devices to be in operation by 2020. In this period of growth, location-based insights are becoming invaluable to many businesses as they adopt new connected technologies. Knowing when and where these devices connect from is critical for a number of scenarios in supply chain management, disaster management, emergency response, M2M, location marketing and more. In his session at @Th...
Machine Learning helps make complex systems more efficient. By applying advanced Machine Learning techniques such as Cognitive Fingerprinting, wind project operators can utilize these tools to learn from collected data, detect regular patterns, and optimize their own operations. In his session at 18th Cloud Expo, Stuart Gillen, Director of Business Development at SparkCognition, discussed how research has demonstrated the value of Machine Learning in delivering next generation analytics to imp...
In his keynote at 18th Cloud Expo, Andrew Keys, Co-Founder of ConsenSys Enterprise, provided an overview of the evolution of the Internet and the Database and the future of their combination – the Blockchain. Andrew Keys is Co-Founder of ConsenSys Enterprise. He comes to ConsenSys Enterprise with capital markets, technology and entrepreneurial experience. Previously, he worked for UBS investment bank in equities analysis. Later, he was responsible for the creation and distribution of life sett...